Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456789101112131415161718192021222324252627
(* This file is free software, part of dolmen. See file "LICENSE" for more information *)
(** Define model extensions.
@since 0.11 *)
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. *)