Frama-C API - Evaluation
module type Value = sig ... endmodule type Queries = sig ... endmodule Make (Context : Abstract_context.S) (Value : Value with type context = Context.t) (Loc : Abstract_location.S with type value = Value.t) (Domain : Queries with type context = Context.t and type value = Value.t and type location = Loc.location) : Evaluation_sig.S with type state = Domain.state and type context = Context.t and type value = Value.t and type origin = Domain.origin and type loc = Loc.locationGeneric functor.