Typer.Ext
type t = Dolmen_loop__Typer.Typer(State).Ext.t
val name : t -> string
val builtins : t -> lang -> builtin_symbols
val create : name:string -> builtins:(lang -> builtin_symbols) -> t
val list : unit -> t list
val bv2nat : t