Module RefineEnv.Cell

type 'a t
val contents : 'a t -> 'a
val ident : 'a t -> Ident.t