Previous
Up
Next
Module
Superposition.S.C
module
C:
module type of Env.C
with type t = Env.C.t