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