这是我的第一篇文章..我有两个SQL Server数据库位于不同的服务器上。假设从源数据库SDB到数据库DDB的DDT (目标数据表)的源数据表的SDTsqlcommand = "Delete * from DDT where locID = @LocIDParam" // @LocIDParam is the parameter但是,我的SDT
我有一个数据类型,并附加了3种幻影类型,这样我就可以为每个组合定义函数类。that are completely specified bot :: Dd a b c 有了这个,我可以为多个情况定义函数ToDd $ Cudd.ifthenelse (ToDd z) (bot :: Dd Z a b) (top :: Dd Z a b)
最后一行是我的问题所在,我曾希望ghci能够推断(对于a和b)给定参数z中的数据</