assertions:OCaml的简单断言库

时间:2024-05-23 07:50:03
【文件属性】:

文件名称:assertions:OCaml的简单断言库

文件大小:49KB

文件格式:ZIP

更新时间:2024-05-23 07:50:03

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


【文件预览】:
assertions-master
----.gitignore(99B)
----assertions.ml(3KB)
----configure(363B)
----_tags(539B)
----myocamlbuild.ml(17KB)
----opam(458B)
----META(330B)
----Makefile(750B)
----serializer.ml(4KB)
----serializer.mli(203B)
----setup.ml(170KB)
----LICENSE(525B)
----_oasis(384B)
----assertions.mldylib(106B)
----README.md(2KB)
----assertions.mli(1KB)
----assertions.mllib(106B)

网友评论