parse_qualifier_arg

liquid_fixpoint::parser

Function parse_qualifier_arg 

Source 
fn parse_qualifier_arg(
    sexp: &Sexp,
) -> Result<(String, Sort<ParsingTypes>), ParseError>