blob: bf5e9835afd86796256a3b9e69fb010ed1e0c56b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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 *)
|
