Elementary (function_graphs.Function

type strategy =

| A
| B
| C

module Make (D1 : sig ... end) (D2 : sig ... end) : sig ... end

Functor that creates an abstract domain that abstracts a minimal function graph, from an abstract domain for the input values of the graph, and an abstract domain for the output values of the graph.