module Make: functor (Value : Abstract_value.External) -> functor (Eva : Evaluation.S with type value = Value.t) -> sig .. end
functor (
Value
:
Abstract_value.External
) ->
Eva
Evaluation.S
with type value = Value.t
sig
end
Evaluation.S with type value = Value.t
val evaluate : ?valuation:Eva.Valuation.t -> ?indeterminate:bool -> ?reduction:bool -> Eva.state -> Cil_types.exp -> (Eva.Valuation.t * Value.t) Eval.evaluated
?valuation:Eva.Valuation.t -> ?indeterminate:bool -> ?reduction:bool -> Eva.state -> Cil_types.exp -> (Eva.Valuation.t * Value.t) Eval.evaluated