expr' <- substitute bndr (Var scrut) expr
return (con, bndrs, expr')
wild = MkCore.mkWildBinder (Id.idType bndr)
expr' <- substitute bndr (Var scrut) expr
return (con, bndrs, expr')
wild = MkCore.mkWildBinder (Id.idType bndr)
scrutbndrremovetop = everywhere ("scrutbndrremove", scrutbndrremove)
--------------------------------
scrutbndrremovetop = everywhere ("scrutbndrremove", scrutbndrremove)
--------------------------------