CONF (brzo.Brzo.Pre_domain.CONF)

Domain configuration

type t

The type for domain specific configurations.

val tid : t B0_std.Type.Id.t

tid is a type identifier for the configuration.

val keys : B0_std.String.Set.t

keys is the set of keys that are allowed to be part of the domain specific BRZO file dictionary.

val parse : (B0_sexp.Sexp.t * B0_sexp.Sexpq.path) -> (t, string) Stdlib.result

parse is a function that parses the BRZO file domain specific dictionary into a configuration.

val parse_with_cli : 
  ((B0_sexp.Sexp.t * B0_sexp.Sexpq.path) ->
    (t, string) Stdlib.result)
    Cmdliner.Term.t

parse_with_cli is a cmdliner term that has the command line interface for the configuration and a function that given the configuration s-expression dictionary for the domain should derive the configuration appropriately (basically it should do the job of merging cli and file specified configuration desires).

val pp : t B0_std.Fmt.t

pp formats configurations.