Module Brzo_domain

Brzo domains.

module type T = sig ... end

Signature implemented by domains

val defs : (module T) list -> Brzo.Conf.domain_defs

defs ds given a list of domains ds maps their name to their outcomes names.

val get : string -> (module T) list -> ((module T), string) Stdlib.result

get id ds is the domain identified by id in ds.

val of_conf : Brzo.Conf.t -> (module T) list -> ((module T), string) Stdlib.result

of_conf c ds is the domain from ds selected by configuration c.

val man_s_outcome_opts : string

man_s_outcome_opts is a section for outcome specific options.