blob: 4c6387b540d4bbc38c5203d14d853c285b561634 (
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
|
type t =
| E : {
module_ :
(module Analyzer.T
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
and type ex = t);
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;
}
-> t (** Type of check to apply *)
val build :
?expression_id:'a Type.Id.t ->
?location_id:'b Type.Id.t ->
?context_id:'c Type.Id.t ->
(module Analyzer.T
with type Expression.t = 'a
and type Expression.t' = _
and type Instruction.t = _
and type Instruction.t' = _
and type Location.t = 'b
and type context = 'c
and type ex = t) ->
t
(** 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. *)
val get_module : t -> (module Analyzer.T)
|
