Module Bigint.SummableSource

Sourcetype nonrec t = t
Sourceval zero : t
Sourceval (+) : t -> t -> t
Sourceval (-) : t -> t -> t