Index of module ADT.Relation