Parameter Make.B

type qstate
val init : int -> qstate
val apply_gate : Circuit.gate -> qstate -> unit