45 lines
2.0 KiB
OCaml
45 lines
2.0 KiB
OCaml
(**************************************************************************)
|
|
(* *)
|
|
(* OCaml *)
|
|
(* *)
|
|
(* Hongbo Zhang (University of Pennsylvania) *)
|
|
(* *)
|
|
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
|
(* en Automatique. *)
|
|
(* *)
|
|
(* All rights reserved. This file is distributed under the terms of *)
|
|
(* the GNU Lesser General Public License version 2.1, with the *)
|
|
(* special exception on linking described in the file LICENSE. *)
|
|
(* *)
|
|
(**************************************************************************)
|
|
|
|
|
|
(** Pretty-printers for {!Parsetree}
|
|
|
|
{b Warning:} this module is unstable and part of
|
|
{{!Compiler_libs}compiler-libs}.
|
|
|
|
*)
|
|
|
|
type space_formatter = (unit, Format.formatter, unit) format
|
|
|
|
val longident : Format.formatter -> Longident.t -> unit
|
|
val expression : Format.formatter -> Parsetree.expression -> unit
|
|
val string_of_expression : Parsetree.expression -> string
|
|
|
|
val pattern: Format.formatter -> Parsetree.pattern -> unit
|
|
|
|
val core_type: Format.formatter -> Parsetree.core_type -> unit
|
|
|
|
val signature: Format.formatter -> Parsetree.signature -> unit
|
|
val structure: Format.formatter -> Parsetree.structure -> unit
|
|
val string_of_structure: Parsetree.structure -> string
|
|
|
|
val toplevel_phrase : Format.formatter -> Parsetree.toplevel_phrase -> unit
|
|
val top_phrase: Format.formatter -> Parsetree.toplevel_phrase -> unit
|
|
|
|
|
|
val tyvar: Format.formatter -> string -> unit
|
|
(** Print a type variable name, taking care of the special treatment
|
|
required for the single quote character in second position. *)
|