Module B0_toolSource

b0 driver common definitions.

Sourceval driver : B0_driver.t

driver is the driver definition.

Sourceval def_list : (module B0_def.S) list

def_list is the list of kind of b0 definitions.

Sourceval def_list_list : (module B0_def.S) list -> B0_def.value list

def_list_list defs is the list of definitions of def order first by name then by kind.

Sourceval def_list_get_list_or_hint : (module B0_def.S) list -> all_if_empty:bool -> string list -> (B0_def.value list, string) result
Sourcemodule Def : sig ... end

B0_def generic support.