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