Module type Bool_lit.PAYLOAD

module type PAYLOAD = sig .. end

type t 

val dummy : t