Module NonRelational


module NonRelational: sig .. end
A module type for non relational domains and a functor to build relational domains from them (by pointwise extension).

module type Domain = sig .. end
Module type of non relational domains.
module MakeRelational: 
functor (D : Domain) -> Relational.Domain
Functor to build relational domains from non relational ones (by pointwise extension).