tests/test_args_parsing.mlw

   1 module Test
   2
   3   (* Inspired from isqrt *)
   4   use int.Int
   5
   6   function sqr (x:int) : int = x * x
   7
   8   lemma sqr_non_neg: forall x:int. sqr x >= 0
   9
  10 end