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 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.