let abs ~base =
  function
  | ((`Abs, _p_segs) as p) -> p
  | (`Rel, p_segs) ->
      (match base with
       | (`Abs, base_segs) -> abs_of_segs (base_segs @ p_segs))