1Consistbl.Make(3) OCaml library Consistbl.Make(3)
2
3
4
6 Consistbl.Make - no description
7
9 Module Consistbl.Make
10
12 Module Make
13 : functor (Module_name : sig end) -> sig end
14
15
16
17
18 Parameters:
19
20 "Module_name"
21
22 sig end
23
24
25
26
27
28
29
30 type t
31
32
33
34
35
36 val create : unit -> t
37
38
39
40
41 val clear : t -> unit
42
43
44
45
46 val check : t -> Module_name.t -> Digest.t -> Misc.filepath -> unit
47
48
49
50
51 val check_noadd : t -> Module_name.t -> Digest.t -> Misc.filepath ->
52 unit
53
54
55
56
57 val set : t -> Module_name.t -> Digest.t -> Misc.filepath -> unit
58
59
60
61
62 val source : t -> Module_name.t -> Misc.filepath
63
64
65
66
67 val extract : Module_name.t list -> t -> (Module_name.t * Digest.t op‐
68 tion) list
69
70
71
72
73 val extract_map : Module_name.Set.t -> t -> Digest.t option Mod‐
74 ule_name.Map.t
75
76
77
78
79 val filter : (Module_name.t -> bool) -> t -> unit
80
81
82
83
84 exception Inconsistency of {
85 unit_name : Module_name.t ;
86 inconsistent_source : string ;
87 original_source : string ;
88 }
89
90
91
92
93
94 exception Not_available of Module_name.t
95
96
97
98
99
100
101
102OCamldoc 2022-07-22 Consistbl.Make(3)