Up

module Type_printing

: sig
#
type format_context = [
| `toplevel
| `array
| `nonarray
]
#
val format_name : ?name:string -> Format.formatter -> unit
#
val format_typ' : 'a Static.typ -> (format_context -> Format.formatter -> unit) -> format_context -> Format.formatter -> unit
#
val format_typ : ?name:string -> Format.formatter -> 'a Static.typ -> unit
#
val format_fn' : 'a Static.fn -> (Format.formatter -> unit) -> Format.formatter -> unit
#
val format_fn : ?name:string -> Format.formatter -> 'a Static.fn -> unit
#
val string_of_typ : ?name:string -> 'a Static.typ -> string
#
val string_of_fn : ?name:string -> 'a Static.fn -> string
end