herdtools7.asllib
Error.ErrorPrinter
module C : ERROR_PRINTER_CONFIG
val eprintln : error_desc AST.annotated -> unit
val warn : warning_desc AST.annotated -> unit
val warn_from : loc:'a AST.annotated -> warning_desc -> unit