Function parse_expr_pest 

pub fn parse_expr_pest<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    text: &str,
) -> ContractExpr<'tcx>

Parse a numeric expression (no comparison) into a ContractExpr.