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