Module Gen.Rational

val categorical : ('a * Q.t) array -> 'a t