fn parse_sort_decl(cx: &mut ParseCtxt<'_>) -> ParseResult<SortDecl>
⟨sort_decl⟩ := opaque sort ⟨ident⟩ ;