1-Inputs.Controller
include Iffable with type bool := Bool.t
type t
val if_ : Bool.t -> then_:t -> else_:t -> t
val check : proof_verifies:Bool.t -> signature_verifies:Bool.t -> t -> Bool.t