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

type slice

val pp_slice : 
  Ppx_deriving_runtime.Format.formatter ->
  slice ->
  Ppx_deriving_runtime.unit

val show_slice : slice -> Ppx_deriving_runtime.string

val equal_slice : slice -> slice -> Ppx_deriving_runtime.bool

val yojson_of_slice : slice -> Ppx_yojson_conv_lib.Yojson.Safe.t

val slice_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> slice

val compare_slice : slice -> slice -> int

val sexp_of_slice : slice -> Sexplib0.Sexp.t

val slice_of_sexp : Sexplib0.Sexp.t -> slice

val hash_fold_slice : 
  Ppx_hash_lib.Std.Hash.state ->
  slice ->
  Ppx_hash_lib.Std.Hash.state

val hash_slice : slice -> Ppx_hash_lib.Std.Hash.hash_value

val slice : slice