Module type Abstract_domain.S_with_Structure

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.