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