summaryrefslogtreecommitdiff
path: root/src/pretty_print.mli
blob: ebe9301a785c221d83b69a53b53f378386139136 (plain)
1
2
3
4
5
open Ast
open Type_internal
open Format

val pp_defs : Format.formatter -> tannot defs -> unit