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.