Pre_domain.T
The module type for pre-domains.
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.