Brzo_ocaml
OCaml domain.
See the manual for a high-level view of operations.
include Brzo_domain.T
include Brzo.Pre_domain.T
module Conf : Brzo.Pre_domain.CONF
Domain configuration.
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.