Module Relational


module Relational: sig .. end
A module type for relational domains.

module type Domain = sig .. end
Module type for relational domains.