EvaluableEvaluable references (whose transparency can be controlled)
type t = | EvalVarRef of Names.Id.t |
| EvalConstRef of Names.Constant.t |
| EvalProjectionRef of Names.Projection.Repr.t |
val map : (Names.Id.t -> Names.Id.t) -> (Names.Constant.t -> Names.Constant.t) -> (Names.Projection.Repr.t -> Names.Projection.Repr.t) -> t -> tval equal : Environ.env -> t -> t -> boolval to_kevaluable : t -> Conv_oracle.evaluable