Module Snarky_signature.Signature

module type Inputs_intf = sig ... end
module type Signer_inputs_intf = sig ... end
module Make0 (Inputs : Inputs_intf) : sig ... end
module Make_signer (Inputs : Signer_inputs_intf with type Bool.t = bool) : sig ... end