Parameter `MakeOmegaSolver.1-I`

type bigint

val equal : bigint -> bigint -> bool
val less_than : bigint -> bigint -> bool
val add : bigint -> bigint -> bigint
val sub : bigint -> bigint -> bigint
val mult : bigint -> bigint -> bigint
val euclid : bigint -> bigint -> bigint * bigint
val neg : bigint -> bigint
val zero : bigint
val one : bigint
val to_string : bigint -> string