Function parse_sort

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