stdlib - 0.0.1

Stdlib.Trait.Integral

Description

Definitions

trait type Integral ASource#

Constructors

| mkIntegral { naturalI : Natural A; syntax operator - additive; - : A -> A -> A; builtin from-int fromInt : Int -> A }

open Integral using {fromInt; -} public