pub fn is_groupoid_n(n: u32, x: u64, a: u64, b: u64) -> u64
Defines an n-groupoid relation from x to a and b.
x
a
b
