Module Revops_intf

module type MONAD = sig ... end
module type S = sig ... end