herdtools7.asllib
Asllib.ParserConfig
module type CONFIG = sig ... end
The CONFIG module signature for the ASL1 Parser