According to
section-5.5, Rel
is a monoid resulting in the accumulated relation types for a single
rel
parameter.
According to
section-5.5, Rel
is a monoid resulting in the accumulated relation types for a single
rel
parameter.