Searched refs:evalFm2 (Results 1 – 3 of 3) sorted by relevance
231 evalFm2 = evalAll2 . fm2 function236 prop_Mutual2FEqv sx = f x == evalFm2 x
233 evalFm2 :: Int -> (Int, String)234 evalFm2 = evalAll . fm2 function
194 evalFm2 :: Int -> (Int, String)195 evalFm2 = evalAll . fm2