Function parse_sort 

fn parse_sort(cx: &mut ParseCtxt<'_>) -> ParseResult<Sort>

⟨sort⟩ :=  ⟨base_sort⟩
        |  ( ⟨base_sort⟩,* ) -> ⟨base_sort⟩
        |  ⟨base_sort⟩ -> ⟨base_sort⟩