Libzipperposition.Bool_lit
The boolean literal carries a payload of type 'a
'a
module type S = Bool_lit_intf.S
module type PAYLOAD = sig ... end
module Make : functor (Payload : PAYLOAD) -> S with type payload = Payload.t