Module Abstraction.Value_functorSource

Signature of functors of value domains

Signature

Sourcemodule type VALUE_FUNCTOR = sig ... end

Registration

Sourceval register_value_functor : (module VALUE_FUNCTOR) -> unit

Register a new functor of value domains

Sourceval find_value_functor : string -> (module VALUE_FUNCTOR)

Find a value functor by its name. Raise Not_found if no functor is found

Sourceval mem_value_functor : string -> bool

mem_value_functor name checks whether a value functor with name name is registered

Sourceval value_functor_names : unit -> string list

Return the names of registered value functor