Skip to main content

conv_left_assoc

rapx::verify::contract::pest_conv

Function conv_left_assoc 

Source 
fn conv_left_assoc<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    pair: Pair<'_, Rule>,
    operand: impl Fn(TyCtxt<'tcx>, DefId, Pair<'_, Rule>) -> ContractExpr<'tcx>,
) -> ContractExpr<'tcx>