Cross Reference: Test.hascasl
xref: /hets/ToHaskell/test/Test.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maedertype B,C,Int
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederfree type AT ::= A (s1 : Int; s2 : B)
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederop + : AT * B -> C
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederop f : B -> B
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederop f : C -> C
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maedertype s < B

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