assertions:OCaml的简单断言库

断言 用于OCaml的简单断言库。 断言是一元或二进制运算，它们在成功时返回单位，并在失败时引发异常。 每个断言定义一个自定义异常； 例如assert_is_none将在失败时引发异常Assert_is_none 。 在可能的情况下，声明将尝试使用BatPervasives的dump函数（包含在serializer.ml ）打印其参数值。 原料药 assert_true : bool -> unit assert_false : bool -> unit assert_greater : 'a -> 'a -> unit assert_less : 'a -> 'a -> unit assert_equal : ('a -> 'a -> bool) -> 'a -> 'a -> unit (===) : 'a -> 'a -> unit almost_equal : ?eps