blob: a386d4a446507f222a3f4c9c469357a064cd91fe (
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
|
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 *)
val build :
?location_id:'a Type.Id.t ->
?context_id:'b Type.Id.t ->
(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 = 'b) ->
ex
(** Build a new check from a module following S.Analyzer signature. ypeid Return
the result type which hold the final result value, and checker itself. *)
|
