Module Lang.Intf

Module type for benchmark target languages.

Every module in lib/lang/ that can be used as a learning target must satisfy this interface. It bundles the semiring, the alphabet, the counterexample bound, and the semantic function into a single first-class module value that is passed to Teacher.Make and, indirectly, to the learner.