We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 79954e4 commit 50eee26Copy full SHA for 50eee26
src/bytes/lin_tests_dsl.ml
@@ -11,6 +11,7 @@ module BConf = struct
11
(*let int = int_bound 10*)
12
13
let api = [
14
+ val_ "Bytes.make" Bytes.make (int @-> char @-> returning_ t);
15
val_ "Bytes.length" Bytes.length (t @-> returning int);
16
val_ "Bytes.get" Bytes.get (t @-> int @-> returning_or_exc char);
17
val_ "Bytes.set" Bytes.set (t @-> int @-> char @-> returning_or_exc unit);
0 commit comments