1Consistbl.Make(3)                OCaml library               Consistbl.Make(3)
2
3
4

NAME

6       Consistbl.Make - no description
7

Module

9       Module   Consistbl.Make
10

Documentation

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                          2021-01-26                 Consistbl.Make(3)