blob: 87ed1a9cd62d82300288fba60eadf3a73ab77f8f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
type t = {
name : Conventions.Name.t;
generator : Generator.t;
membership_criteria : Tuple.t -> bool;
cardinality : Conventions.Cardinality.t;
compare : Conventions.AbstractValue.t -> Conventions.AbstractValue.t -> int;
}
let make ~name ~generator ~membership_criteria ~cardinality ~compare =
{ name; generator; membership_criteria; cardinality; compare }
|
