Previous
Up
Next
Module
Analyzer_domain_sig
module
Analyzer_domain_sig:
sig
..
end
signature of abstract domains (with explicit communication)
module type
Domain
=
sig
..
end