Module Phase_utils.MakeError

Parameters

module Ctx : sig ... end

Signature

type t = {
  1. kind : Diagnostics.kind;
  2. span : Ast.span;
}
val raise : t -> 'never
val unimplemented : ?issue_id:Prelude.int -> ?details:Prelude.string -> Ast.span -> 'never
val assertion_failure : Ast.span -> Prelude.string -> 'never