Module type `Brzo_domain.T`

Signature implemented by domains

include Brzo.Pre_domain.T

module Conf : Brzo.Pre_domain.CONF: Domain configuration.

Domain definition

val name : string: name is the domain name. Defines the domain sub-command name.

val doc_name : string: doc_name is the domain name for documentation.

val fingerprint : B0_fexts.t: fingerprint are file extensions whose presence in the source files hints at domain selection.

val pre_outcomes : Brzo.Pre_domain.outcome list: pre_outcomes is the domain's list of outcomes.

val outcomes : Conf.t Brzo_outcome.t list: outcome is the domain's list of outcomes.