herdtools7.asllib
Make.Config
val allow_double_underscore : bool
Allow variables starting with a double underscore (__)
val allow_unknown : bool