blob: b516976216566b0ade4c3e1158e7990f6bb5ed29 (
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
type ex =
| E : {
module_ :
(module S.Analyzer
with type Expression.t = 'a
and type Expression.t' = 'b
and type Instruction.t = 'c
and type Instruction.t' = 'd
and type Location.t = 'e
and type context = 'f);
expr_witness : 'a Type.Id.t;
expr' : 'b Type.Id.t;
instr_witness : 'c Type.Id.t;
instr' : 'd Type.Id.t;
location_witness : 'e Type.Id.t;
context : 'f Type.Id.t;
}
-> ex (** Type of check to apply *)
let build :
(module S.Analyzer
with type Expression.t = _
and type Expression.t' = _
and type Instruction.t = _
and type Instruction.t' = _
and type Location.t = 'a
and type context = _) ->
'a Type.Id.t * ex =
fun module_ ->
let expr_witness = Type.Id.make ()
and expr' = Type.Id.make ()
and instr_witness = Type.Id.make ()
and instr' = Type.Id.make ()
and location_witness = Type.Id.make ()
and context = Type.Id.make () in
let t =
E
{
module_;
expr_witness;
expr';
instr_witness;
instr';
location_witness;
context;
}
in
(location_witness, t)
|
