Module Non_linear_evaluation

module Non_linear_evaluation: sig .. end
Evaluation of non-linear expressions.

module Make: 
functor (Value : Abstract_value.External-> 
functor (Eva : Evaluation.S with type value = Value.t-> Evaluation.S with type value = Value.t and type origin = Eva.origin and type loc = Eva.loc and type state = Eva.state
Same functionalities as Eva.