let rel_of_segs segs : rel t = (`Rel, (norm1 segs))