-
Pietro Abate authored
- change syntax to avoid conflicts ( tried "((", "[<", "<[", "(" ) type t {[ 'a,'b ]} = (Int,[ 'b* ]) ;; let app (f : 'a -> t {[Int,Int]} )(a : 'a) : t = f a;;
0d3a9e60
- change syntax to avoid conflicts ( tried "((", "[<", "<[", "(" ) type t {[ 'a,'b ]} = (Int,[ 'b* ]) ;; let app (f : 'a -> t {[Int,Int]} )(a : 'a) : t = f a;;