juvix-docs - 0.0.0
Source
Index
Stdlib.Trait.Numeric
Contents
Description
Definitions
Description
Definitions
trait
type
Numeric
A
Source
#
Constructors
|
mkNumeric
@
{
integralI
:
Integral
A
;
syntax
operator
/
multiplicative
;
/
:
A
->
A
->
A
;
}
open
Numeric
using
{
/
}
public
