Function parse_sort_decl 

fn parse_sort_decl(cx: &mut ParseCtxt<'_>) -> ParseResult<SortDecl>

⟨sort_decl⟩ := opaque sort ⟨ident⟩ ;