blob: 82c207fc8a3ab813a90c9d7346da89c2e79b06a8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
type attributes = BatSet.String.t
type mode = {bound: attributes; yields: Cardinality.t}
type t = mode list
let mode bound yields = {bound= BatSet.String.of_list bound; yields}
let generation modes bound =
List.fold_left
(fun tightest {bound= declared; yields} ->
if BatSet.String.subset declared bound then
Some (Option.fold ~none:yields ~some:(Cardinality.meet yields) tightest)
else tightest )
None modes
let exhaustible modes bound =
Option.fold ~none:false ~some:Cardinality.exhaustible (generation modes bound)
let project attributes = List.filter (fun {bound; _} -> BatSet.String.subset bound attributes)
|
