package herdtools7

  1. Overview
  2. Docs
val pp_comma_list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val pp_type_desc : Format.formatter -> AST.type_desc -> unit
val pp_error_desc : Format.formatter -> error_desc AST.annotated -> unit
val pp_warning_desc : Format.formatter -> warning_desc AST.annotated -> unit
val pp_pos_begin : Format.formatter -> 'a AST.annotated -> unit
val pp_error : Format.formatter -> error_desc AST.annotated -> unit
val pp_warning : Format.formatter -> warning_desc AST.annotated -> unit
val error_desc_to_string : error_desc AST.annotated -> string
val desc_to_string_inf : (Format.formatter -> 'a -> unit) -> 'a -> string
val error_to_string : error_desc AST.annotated -> string
OCaml

Innovation. Community. Security.