tests/sav/base_formal_isa.res

   1 A[Int]
   2 true
   3 true
   4 true
   5
   6 G[A[Bool], G[A[A[Int]], nullable A[Int]]]
   7 true
   8 true
   9 true
  10 true
  11 true
  12
  13 G[Bool, Int]
  14 A[Bool]
  15 true
  16 true
  17 true
  18 true
  19 true
  20 true
  21 true
  22 true
  23 true