Module Dolmen_model.Ext

Define model extensions.

type t

The type of evaluation extensions.

val name : t -> string

Extension name, should be suitable for cli options.

val builtins : t -> Env.builtins

Returns the evaluation builtins from an extension.

val create : name:string -> builtins:Env.builtins -> t

Create a new extension.

val iter : (t -> unit) -> unit

Iterate over all the registered extensions.

val find_all : string -> t list

Returns the extensions that have been registered with the given name.

val bvconv : t

Built-in extension for conversion between bit-vectors and integers