Kimchi_backend_common.Bigint
module type Bindings = sig ... end
module type Intf = sig ... end
module Make (B : Bindings) (M : sig ... end) : sig ... end