Module type Sig.C

module type C = sig .. end

type t 
type r 
val extract : r -> t option
val embed : t -> r