Registration_section (mavryk-benchmarks-proto-alpha.Mavryk_benchmarks_proto_alpha.Interpreter_benchmarks.Registration

val sf : ('a, unit, string) Stdlib.format -> 'a

val dummy_loc : int

val halt : 
  ('a, 'b, 'a, 'b) Mavryk_protocol_alpha.Protocol.Script_typed_ir.kinstr

module Amplification : sig ... end

module Stack : sig ... end

module Pairs : sig ... end

module Options : sig ... end

module Ors : sig ... end

module Lists : sig ... end

module Sets : sig ... end

module Maps : sig ... end

module Big_maps : sig ... end

module Strings : sig ... end

module Bytes : sig ... end

module Timestamps : sig ... end

module Tez : sig ... end

module Booleans : sig ... end

module Integers : sig ... end

module Control : sig ... end

module Comparison : sig ... end

module Comparators : sig ... end

module Proto : sig ... end

module type Type_transaction = sig ... end

module Register_Sapling_benchmark
  (Type_transaction : Type_transaction) : 
  sig ... end

module Sapling_empty : sig ... end

module Sapling_non_empty : sig ... end

module Mavryk_bls12_381 : sig ... end

module Tickets : sig ... end

module Timelock : sig ... end

module Continuations : sig ... end