Parameters.SIMPLE_GENERIC_VALUE
The values associated with each equivalence class in the imperative union-find
apply v r
is the value obtained by applying relation r
to value v
apply
should be a group action from R : GENERIC_GROUP with type ('a,'b) t = ('a,'b) relation
on the value 'a t
. Meaning it should verify the following:
apply v R.identity = v
apply (apply v r2) r1 = apply v (R.compose r2 r1)