package baby

The signature Baby.SET_MAP describes abstract data types of sets and maps. They are described in two forms:

1. If the user needs just sets, or just maps, they can use the functors Set.Make and Map.Make, which are analogous to (and compatible with) the functors by the same names in OCaml's standard library.

1. If the user needs both sets and maps, as well as conversion functions between sets and maps, they can use the functor Make. This functor produces a module which contains a submodule Set, a submodule Map, and two conversion functions, domain and lift.