blob: aa924383c102fdf521fef6987107d06f72a65c18 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
open Ast
open Type_internal
(* Prints the defs following source syntax *)
val pp_defs : out_channel -> tannot defs -> unit
val pp_exp : Buffer.t -> exp -> unit
val pat_to_string : tannot pat -> string
(* Prints on formatter the defs as Lem Ast nodes *)
val pp_lem_defs : Format.formatter -> tannot defs -> unit
val pp_defs_ocaml : out_channel -> tannot defs -> string -> string list -> unit
val pp_defs_lem : (out_channel * string list) -> (out_channel * string list) -> (out_channel * string list) -> tannot defs -> string -> unit
val pp_format_annot_ascii : tannot -> string
|
