Module type Sig.C

module type C = sig .. end

type t 

type r 

val extract : r -> t option

val embed : t -> r