Module type Domain_sig.With_Memory_Forward

type boolean
type binary
type memory
module Context : Context