blob: 5b76880fbc2f39bb7959aa8847b01998716971d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
open Yojson.Basic
open Types
open CfimAst
(** Module declaration *)
type declaration =
| Type of TypeDefId.id
| Fun of FunDefId.id
| RecTypes of TypeDefId.id list
| RecFuns of FunDefId.id list
type cfim_module = {
declarations : declaration list;
types : type_def list;
functions : fun_def list;
}
(** CFIM module *)
|
