Module Superposition_intf.S.C

module C: module type of Env.C  with type t = Env.C.t