bignum

Core-flavoured wrapper around zarith's arbitrary-precision rationals.
IN THIS PACKAGE
Module Bigint . Set . Named
val is_subset : named -> of_:named -> unit Base.Or_error.t
val equal : named -> named -> unit Base.Or_error.t