package octez-l2-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type key = string list
type program = Durable_operation.t list
type testcase = {
  1. inital_state : (key * string) list;
  2. operations : program;
}
val range : int -> int -> int list
val range_chars : char -> char -> char list
val max_path_segments : int
val gen_path_char : char QCheck2.Gen.t
val generate_initial_keys : int -> (Durable_operation_generator.key * string) list QCheck2.Gen.t
val apply_operation_to_trie : int Trie.t -> Durable_operation.t -> int Trie.t
val generate_operation : 'a -> (int * ('b -> 'c QCheck2.Gen.t)) list -> 'c QCheck2.Gen.t
val gen_operations : int Trie.t -> (int * (int Trie.t -> Durable_operation.t QCheck2.Gen.t)) list -> int -> Durable_operation.t list -> Durable_operation.t list QCheck2.Gen.t
val gen_testcase : initial_size:int -> operations_number:int -> Durable_operation_generator.operations_distribution -> testcase QCheck2.Gen.t
OCaml

Innovation. Community. Security.