blob: 2a5d8d5a44c9bf41d1671b3470e9c337df2045a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
(**************************************************************************)
(* *)
(* SMTCoq *)
(* Copyright (C) 2011 - 2021 *)
(* *)
(* See file "AUTHORS" for the list of authors *)
(* *)
(* This file is distributed under the terms of the CeCILL-C licence *)
(* *)
(**************************************************************************)
type t = Atom of string | List of t list
let rec print fmt = function
| Atom s -> Format.pp_print_string fmt s
| List l ->
Format.fprintf fmt "(@[<hov 2>";
List.iter (Format.fprintf fmt "%a " print) l;
Format.fprintf fmt "@])"
|