Module type Domain_sig.With_Boolean_Forward

type boolean
module Context : Context