Module type Domain_sig.With_Binary_Forward

type boolean
type binary
module Context : Context