let abs_of_segs segs : abs t =
  match segs with
  | "" :: segs -> (`Abs, ("" :: (norm1 segs)))
  | [] | _ :: _ -> assert false