Module Brzo_c

C domain.

See the manual for a high-level view of operations.

include Brzo_domain.T
include Brzo.Pre_domain.T

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