Block (hax-engine.Hax_engine.Features.On.Block)

type block

val pp_block : 
  Ppx_deriving_runtime.Format.formatter ->
  block ->
  Ppx_deriving_runtime.unit

val show_block : block -> Ppx_deriving_runtime.string

val equal_block : block -> block -> Ppx_deriving_runtime.bool

val yojson_of_block : block -> Ppx_yojson_conv_lib.Yojson.Safe.t

val block_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> block

val compare_block : block -> block -> int

val sexp_of_block : block -> Sexplib0.Sexp.t

val block_of_sexp : Sexplib0.Sexp.t -> block

val hash_fold_block : 
  Ppx_hash_lib.Std.Hash.state ->
  block ->
  Ppx_hash_lib.Std.Hash.state

val hash_block : block -> Ppx_hash_lib.Std.Hash.hash_value

val block : block