package zelus

  1. Overview
  2. Docs
val print_qualid : Stdlib.Format.formatter -> Lident.qualident -> unit
val type_name : Zmisc.name_assoc_table
val print_list : (Stdlib.Format.formatter -> 'a -> unit) -> string -> Stdlib.Format.formatter -> 'a list -> unit
val arrow_tostring : Deftypes.kind -> string
val print_size : Stdlib.Format.formatter -> Deftypes.size -> unit
val print : int -> Stdlib.Format.formatter -> Deftypes.typ -> unit
val print_scheme : Stdlib.Format.formatter -> Deftypes.typ_scheme -> unit
val print_type_params : Stdlib.Format.formatter -> string list -> unit
val print_one_type_variable : Stdlib.Format.formatter -> int -> unit
val print_type_name : Stdlib.Format.formatter -> (Lident.qualident * int list) -> unit
val print_one_variant : Stdlib.Format.formatter -> Global.constr_desc Global.info -> unit
val print_one_label : Stdlib.Format.formatter -> Global.label_desc Global.info -> unit
val print_type_desc : Stdlib.Format.formatter -> Global.type_components -> unit
val print_type_declaration : Stdlib.Format.formatter -> Global.type_desc Global.info -> unit
val print_value_type_declaration : Stdlib.Format.formatter -> Deftypes.typ_scheme Global.info -> unit
val output : Stdlib.Format.formatter -> Deftypes.typ -> unit
val output_size : Stdlib.Format.formatter -> Deftypes.size -> unit
val output_type_declaration : Stdlib.Format.formatter -> Global.type_desc Global.info list -> unit
val output_value_type_declaration : Stdlib.Format.formatter -> Deftypes.typ_scheme Global.info list -> unit
OCaml

Innovation. Community. Security.