sig
type
t
val
dummy :
Bool_lit
.
PAYLOAD
.t
end