module type S_with_Structure =sig
..end
Structure of a domain.
include Abstract_domain.S
val structure : t Abstract_domain.structure
A structure matching the type of the domain.
val log_category : Value_parameters.category
Category for the messages about the domain.
Must be created through Value_parameters.register_category
.