Functor Approx.Make (.ml)

module Make: functor (O : Oracle.S) -> S

Functor for creating an approximation procedure from an oracle

Parameters:

O : Oracle.S

val good : Node.t -> Node.t option

Returns a good approximation in the form of a candidate invariant if the oracle was able to find one.