Module type `Pre_domain.T`

The module type for pre-domains.

Configuration

module Conf : 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 : outcome list: pre_outcomes is the domain's list of outcomes.