Loop (hax-engine.Hax_engine.Features.Off.Loop)

type loop = |

val pp_loop : 
  Ppx_deriving_runtime.Format.formatter ->
  loop ->
  Ppx_deriving_runtime.unit

val show_loop : loop -> Ppx_deriving_runtime.string

val equal_loop : loop -> loop -> Ppx_deriving_runtime.bool

val loop_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> loop

val yojson_of_loop : loop -> Ppx_yojson_conv_lib.Yojson.Safe.t

val compare_loop : loop -> loop -> int

val loop_of_sexp : Sexplib0.Sexp.t -> loop

val sexp_of_loop : loop -> Sexplib0.Sexp.t

val hash_fold_loop : 
  Ppx_hash_lib.Std.Hash.state ->
  loop ->
  Ppx_hash_lib.Std.Hash.state

val hash_loop : loop -> Ppx_hash_lib.Std.Hash.hash_value