Module Non_linear_evaluation

module Non_linear_evaluation: sig .. end

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