bench/check-ce/polymorphism.mlw

   1
   2
   3 module Test
   4
   5   type mono = B int
   6
   7   goal gm: forall x: mono. x = B 0
   8
   9   type mono2 = C int bool
  10
  11   goal gm2: forall x. x = C 0 false
  12
  13   type poly 'a = A 'a
  14
  15   goal g: forall x: poly int. x = A 0
  16
  17 end