Double.hascasl revision c81507d35d11b2eedf7425a3bb52bceec3224532
c81507d35d11b2eedf7425a3bb52bceec3224532Christian Maedervars a : Type; b < a
c81507d35d11b2eedf7425a3bb52bceec3224532Christian Maederop twice : (a ->? b) -> a ->? b %% = \ (f : a ->? b) (x : a) . f(f(x))