package octez-l2-libs
type operation_generator = int Trie.t -> Durable_operation.t QCheck2.Gen.t
type operations_distribution = (int * operation_generator) list
val gen_arbitrary_path :
max_len:int ->
max_segments_num:int ->
char QCheck2.Gen.t ->
key QCheck2.Gen.t
module Key_generator_params : sig ... end
module Operation_probabilities : sig ... end
val gen_existing_prefix :
should_be_key:bool ->
should_be_readonly:bool ->
int Trie.t ->
Durable_operation.key QCheck2.Gen.t
val gen_bool : Probability_utils.Probability.t -> bool QCheck2.Gen.t
val gen_key :
key_exists:Probability_utils.Probability.t ->
prefix_exists:Probability_utils.Probability.t ->
int Trie.t ->
Durable_operation.key QCheck2.Gen.t
val gen_find_value : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_find_value_exn : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_set_value_exn : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_copy_tree_exn : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_move_tree_exn : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_delete : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_list : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_count_subtrees : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_subtree_name_at : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_hash : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_hash_exn : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_write_value_exn : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val gen_read_value_exn : int Trie.t -> Durable_operation.t QCheck2.Gen.t
val write_operations : operation_generator list
val read_operations : operation_generator list
val structure_inspection_operations : operation_generator list
val structure_modification_operations : operation_generator list
val all_operations : operation_generator list
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>