Module `Checker.Pretty`

module L = Location

val pp_span : Stdlib.Format.formatter -> Syntax.span -> unit
val pp_expr : Stdlib.Format.formatter -> Syntax.expr -> unit
val pp_simple_expr : Stdlib.Format.formatter -> Syntax.expr -> unit
val pp_atom_expr : Stdlib.Format.formatter -> Syntax.expr -> unit
val string_of_loc_aux : string -> IR.path_node list -> string
val string_of_path : IR.path_node list -> string
val string_of_loc : L.location -> string
val string_of_loc_expr : (string * IR.path_node list) -> string
val pp_path : Stdlib.Format.formatter -> IR.path_node list -> unit
val pp_location : Stdlib.Format.formatter -> L.location -> unit
val pp_loc_expr : Stdlib.Format.formatter -> (string * IR.path_node list) -> unit
val pp_typ_aux : bool -> Stdlib.Format.formatter -> Type.typ -> unit
val pp_typ : Stdlib.Format.formatter -> Type.typ -> unit
val pp_typ_verbose : Stdlib.Format.formatter -> Type.typ -> unit
val pp_function_typ_aux : bool -> Stdlib.Format.formatter -> Type.function_typ -> unit
val pp_function_typ : Stdlib.Format.formatter -> Type.function_typ -> unit
val pp_function_typ_verbose : Stdlib.Format.formatter -> Type.function_typ -> unit
val pp_operation : Stdlib.Format.formatter -> Check.Error.operation -> unit
val src_of_op : Check.Error.operation -> IR.source
val pp_loc_invalid_reason : show_span:bool -> Stdlib.Format.formatter -> Check.Error.operation -> unit
val pp_error : ?⁠show_span:bool -> Stdlib.Format.formatter -> Check.Error.error -> unit
val span_of_err : Check.Error.error -> Syntax.span
val pp_exception : ?⁠show_span:bool -> Stdlib.Format.formatter -> exn -> unit