libzipperposition
Libzipperposition.Bool_lit
libzipperposition.avatar
libzipperposition.calculi
libzipperposition.induction
libzipperposition.phases
The boolean literal carries a payload of type 'a
'a
module type S = Bool_lit_intf.S
module type PAYLOAD = sig ... end
module Make (Payload : PAYLOAD) : S with type payload = Payload.t