Parameter Make.C

val fail : unit -> 'a
val warn_from : loc:'a AST.annotated -> Error.warning_desc -> unit