Concrete (function_graphs.Function

module Make (XMap : sig ... end) (YSet : sig ... end) : sig ... end

Functor that creates a concrete function graph, i.e., a (finite) partial map whose values are (finite) sets