Parameter Make.C

include Ai.S with type v := D.t
type t
val eval : t -> Sexpr.Expr.t -> D.t
val refine : t -> Sexpr.Expr.t -> D.t -> unit
val anchor : t -> Sexpr.Memory.t -> unit
val anchored : t -> Sexpr.Memory.t -> bool