Core.RefineEnv
module D := CodeUnit.Domain
module Cell : sig ... end
val init : t
val size : t -> int
val local_cof_thy : t -> CodeUnit.CofThy.Disj.t
val pp_env : t -> Basis.Pp.env
val restrict : CodeUnit.CofThy.cof list -> t -> t
val location : t -> Basis.LexingUtil.span option
val set_location : Basis.LexingUtil.span option -> t -> t
val dump : t Basis.Pp.printer