Module Nonrelational

module Nonrelational: sig .. end

exception Emptyset
exception Unknown
exception RecursiveCall of Dba.address
module Make: 
functor (Val : Ai_sigs.Domain) -> Ai_sigs.AbstractDomain