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