Kimchi_backend_common.Fieldmodule Bignum_bigint = Snarky_backendless.Backend_extended.Bignum_bigintmodule type Input_intf = sig ... endmodule type S = sig ... endmodule type S_with_version = sig ... endmodule Make
(F : Input_intf) :
S_with_version
with type Stable.V1.t = F.t
and module Bigint = F.Bigint
and module Vector = F.Vector