Previous
Up
Next
Module
Relational
module
Relational:
sig
..
end
A module type for relational domains.
module type
Domain
=
sig
..
end
Module type for relational domains.