parse_kvar_decl_args

liquid_fixpoint::parser

Function parse_kvar_decl_args 

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