bench/extraction/optimize_record.mlw

   1 module T
   2        use int.Int
   3
   4        type t = { x : int }
   5        invariant { 0 < x }
   6        by { x = 1 }
   7
   8
   9        let f b =
  10            if b then let y = { x = 1 } in y
  11            else { x = 2 }
  12 end