blob: 3fd2a311e47ec73b97b326b6baf692cc6fe455b9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
open Identifiers
(*open CfimAst*)
module Id0 = IdGen ()
module Id1 = IdGen ()
let x0 = Id0.zero
let x1 = Id0.incr x0
let () =
let _ = print_endline "Hello, world!" in
let _ = print_endline (Id0.to_string x1) in
()
type 'a test_struct = { x : 'a } [@@deriving of_yojson]
type id0_t = Id0.id [@@deriving of_yojson]
let id0_t_test_struct_of_yojson = test_struct_of_yojson id0_t_of_yojson
type ty1 = int Id0.vector [@@deriving of_yojson]
let () =
(* let json = Yojson.Basic.from_file "../charon/charon/tests/test1.cfim" in *)
let _json = Yojson.Safe.from_file "../charon/charon/tests/test1.cfim" in
let _test = ty1_of_yojson _json in
()
|