blob: a2b1d3bfd7e0f1325b1804fa0b85b95d3115684a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
open Yojson.Basic
open Identifiers
open Types
open OfJsonBasic
open Scalars
open Values
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 TypeDefId.vector;
functions : fun_def FunDefId.vector;
}
(** CFIM module *)
|
