herdtools7.asllib
Make.C
val fail : unit -> 'a
val warn_from : loc:'a AST.annotated -> Error.warning_desc -> unit