Module Relational.InstancesSource

Sourceval opt_numeric : string Stdlib.ref
Sourcemodule type RELATIONAL = sig ... end
Sourceval numeric_domains : (module RELATIONAL) list Stdlib.ref
Sourceval register_instance : (module RELATIONAL) -> unit
Sourceval get_instances_names : unit -> string list
Sourcemodule Octagon : sig ... end
Sourcemodule Polyhedra : sig ... end
Sourcemodule LinEqualities : sig ... end