Cross Reference: CastFun.hascasl
xref: /hets/HasCASL/test/CastFun.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
CastFun.hascasl revision b5ae094776014b09c5d8b9f3fc91cbe3041211d8
67c3cf4f9ea35c1f789526b24a4d052d071902c0Lennart Poetteringtype s;
67c3cf4f9ea35c1f789526b24a4d052d071902c0Lennart Poettering
12b42c76672a66c2d4ea7212c14f8f1b5a62b78dTom Gundersenop f : s --> s
67c3cf4f9ea35c1f789526b24a4d052d071902c0Lennart Poettering
67c3cf4f9ea35c1f789526b24a4d052d071902c0Lennart Poettering. f = ((\ x : s . x) as s --> s)
67c3cf4f9ea35c1f789526b24a4d052d071902c0Lennart Poettering

Indexes created Tue Jul 24 14:28:13 CEST 2018