blob: d1ea2479922863b1a582ea074a099cb9928db208 (
plain)
1
2
3
4
5
6
7
8
9
|
open Ast
open Type_internal
open Format
(* Prints on formatter the defs following source syntax *)
val pp_defs : Format.formatter -> tannot defs -> unit
(* Prints on formatter the defs as Lem Ast nodes *)
val pp_lem_defs : Format.formatter -> tannot defs -> unit
|
