Indexed (function_graphs.Function

module MakeFinite (M : sig ... end) (X : sig ... end) : sig ... end

Functor that creates an abstract function graph for T => X given a type with finite elements T and an abstract domain X.

module ExtendFinite
  (M : sig ... end)
  (X : sig ... end)
  (Y : sig ... end)
  (MFG : sig ... end) : 
  sig ... end

Functor that creates an abstract function graph for (T * X) => Y) given a type with finite elements T and an abstract function graph for X => Y.