Module Brzo.Domain

Domains.

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

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

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

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

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

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