fn parse_sort(cx: &mut ParseCtxt<'_>) -> ParseResult<Sort>Expand description
`text ⟨sort⟩ := ⟨base_sort⟩ | ( ⟨base_sort⟩,* ) -> ⟨base_sort⟩ | ⟨base_sort⟩ -> ⟨base_sort⟩
fn parse_sort(cx: &mut ParseCtxt<'_>) -> ParseResult<Sort>`text ⟨sort⟩ := ⟨base_sort⟩ | ( ⟨base_sort⟩,* ) -> ⟨base_sort⟩ | ⟨base_sort⟩ -> ⟨base_sort⟩