Module Code.Closed

type exp = t
type t
val close : exp -> t
val open_ : t -> exp