package octez-l2-libs
type program = Durable_operation.t list
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>