Module Fstar_backend.InputLanguage

include sig ... end
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 yojson_of_loop : loop -> Ppx_yojson_conv_lib.Yojson.Safe.t
val loop_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> loop
val compare_loop : loop -> loop -> int
val sexp_of_loop : loop -> Sexplib0.Sexp.t
val loop_of_sexp : Sexplib0.Sexp.t -> loop
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
type for_loop
val pp_for_loop : Ppx_deriving_runtime.Format.formatter -> for_loop -> Ppx_deriving_runtime.unit
val show_for_loop : for_loop -> Ppx_deriving_runtime.string
val equal_for_loop : for_loop -> for_loop -> Ppx_deriving_runtime.bool
val yojson_of_for_loop : for_loop -> Ppx_yojson_conv_lib.Yojson.Safe.t
val for_loop_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> for_loop
val compare_for_loop : for_loop -> for_loop -> int
val sexp_of_for_loop : for_loop -> Sexplib0.Sexp.t
val for_loop_of_sexp : Sexplib0.Sexp.t -> for_loop
val hash_fold_for_loop : Ppx_hash_lib.Std.Hash.state -> for_loop -> Ppx_hash_lib.Std.Hash.state
val hash_for_loop : for_loop -> Ppx_hash_lib.Std.Hash.hash_value
type for_index_loop
val pp_for_index_loop : Ppx_deriving_runtime.Format.formatter -> for_index_loop -> Ppx_deriving_runtime.unit
val show_for_index_loop : for_index_loop -> Ppx_deriving_runtime.string
val equal_for_index_loop : for_index_loop -> for_index_loop -> Ppx_deriving_runtime.bool
val yojson_of_for_index_loop : for_index_loop -> Ppx_yojson_conv_lib.Yojson.Safe.t
val for_index_loop_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> for_index_loop
val compare_for_index_loop : for_index_loop -> for_index_loop -> int
val sexp_of_for_index_loop : for_index_loop -> Sexplib0.Sexp.t
val for_index_loop_of_sexp : Sexplib0.Sexp.t -> for_index_loop
val hash_fold_for_index_loop : Ppx_hash_lib.Std.Hash.state -> for_index_loop -> Ppx_hash_lib.Std.Hash.state
val hash_for_index_loop : for_index_loop -> Ppx_hash_lib.Std.Hash.hash_value
type while_loop
val pp_while_loop : Ppx_deriving_runtime.Format.formatter -> while_loop -> Ppx_deriving_runtime.unit
val show_while_loop : while_loop -> Ppx_deriving_runtime.string
val equal_while_loop : while_loop -> while_loop -> Ppx_deriving_runtime.bool
val yojson_of_while_loop : while_loop -> Ppx_yojson_conv_lib.Yojson.Safe.t
val while_loop_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> while_loop
val compare_while_loop : while_loop -> while_loop -> int
val sexp_of_while_loop : while_loop -> Sexplib0.Sexp.t
val while_loop_of_sexp : Sexplib0.Sexp.t -> while_loop
val hash_fold_while_loop : Ppx_hash_lib.Std.Hash.state -> while_loop -> Ppx_hash_lib.Std.Hash.state
val hash_while_loop : while_loop -> Ppx_hash_lib.Std.Hash.hash_value
type state_passing_loop
val pp_state_passing_loop : Ppx_deriving_runtime.Format.formatter -> state_passing_loop -> Ppx_deriving_runtime.unit
val show_state_passing_loop : state_passing_loop -> Ppx_deriving_runtime.string
val equal_state_passing_loop : state_passing_loop -> state_passing_loop -> Ppx_deriving_runtime.bool
val yojson_of_state_passing_loop : state_passing_loop -> Ppx_yojson_conv_lib.Yojson.Safe.t
val state_passing_loop_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> state_passing_loop
val compare_state_passing_loop : state_passing_loop -> state_passing_loop -> int
val sexp_of_state_passing_loop : state_passing_loop -> Sexplib0.Sexp.t
val state_passing_loop_of_sexp : Sexplib0.Sexp.t -> state_passing_loop
val hash_fold_state_passing_loop : Ppx_hash_lib.Std.Hash.state -> state_passing_loop -> Ppx_hash_lib.Std.Hash.state
val hash_state_passing_loop : state_passing_loop -> Ppx_hash_lib.Std.Hash.hash_value
type fold_like_loop
val pp_fold_like_loop : Ppx_deriving_runtime.Format.formatter -> fold_like_loop -> Ppx_deriving_runtime.unit
val show_fold_like_loop : fold_like_loop -> Ppx_deriving_runtime.string
val equal_fold_like_loop : fold_like_loop -> fold_like_loop -> Ppx_deriving_runtime.bool
val yojson_of_fold_like_loop : fold_like_loop -> Ppx_yojson_conv_lib.Yojson.Safe.t
val fold_like_loop_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> fold_like_loop
val compare_fold_like_loop : fold_like_loop -> fold_like_loop -> int
val sexp_of_fold_like_loop : fold_like_loop -> Sexplib0.Sexp.t
val fold_like_loop_of_sexp : Sexplib0.Sexp.t -> fold_like_loop
val hash_fold_fold_like_loop : Ppx_hash_lib.Std.Hash.state -> fold_like_loop -> Ppx_hash_lib.Std.Hash.state
val hash_fold_like_loop : fold_like_loop -> Ppx_hash_lib.Std.Hash.hash_value
type continue
val pp_continue : Ppx_deriving_runtime.Format.formatter -> continue -> Ppx_deriving_runtime.unit
val show_continue : continue -> Ppx_deriving_runtime.string
val equal_continue : continue -> continue -> Ppx_deriving_runtime.bool
val yojson_of_continue : continue -> Ppx_yojson_conv_lib.Yojson.Safe.t
val continue_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> continue
val compare_continue : continue -> continue -> int
val sexp_of_continue : continue -> Sexplib0.Sexp.t
val continue_of_sexp : Sexplib0.Sexp.t -> continue
val hash_fold_continue : Ppx_hash_lib.Std.Hash.state -> continue -> Ppx_hash_lib.Std.Hash.state
val hash_continue : continue -> Ppx_hash_lib.Std.Hash.hash_value
type break
val pp_break : Ppx_deriving_runtime.Format.formatter -> break -> Ppx_deriving_runtime.unit
val show_break : break -> Ppx_deriving_runtime.string
val equal_break : break -> break -> Ppx_deriving_runtime.bool
val yojson_of_break : break -> Ppx_yojson_conv_lib.Yojson.Safe.t
val break_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> break
val compare_break : break -> break -> int
val sexp_of_break : break -> Sexplib0.Sexp.t
val break_of_sexp : Sexplib0.Sexp.t -> break
val hash_fold_break : Ppx_hash_lib.Std.Hash.state -> break -> Ppx_hash_lib.Std.Hash.state
val hash_break : break -> Ppx_hash_lib.Std.Hash.hash_value
type mutable_variable
val pp_mutable_variable : Ppx_deriving_runtime.Format.formatter -> mutable_variable -> Ppx_deriving_runtime.unit
val show_mutable_variable : mutable_variable -> Ppx_deriving_runtime.string
val equal_mutable_variable : mutable_variable -> mutable_variable -> Ppx_deriving_runtime.bool
val yojson_of_mutable_variable : mutable_variable -> Ppx_yojson_conv_lib.Yojson.Safe.t
val mutable_variable_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> mutable_variable
val compare_mutable_variable : mutable_variable -> mutable_variable -> int
val sexp_of_mutable_variable : mutable_variable -> Sexplib0.Sexp.t
val mutable_variable_of_sexp : Sexplib0.Sexp.t -> mutable_variable
val hash_fold_mutable_variable : Ppx_hash_lib.Std.Hash.state -> mutable_variable -> Ppx_hash_lib.Std.Hash.state
val hash_mutable_variable : mutable_variable -> Ppx_hash_lib.Std.Hash.hash_value
type mutable_reference
val pp_mutable_reference : Ppx_deriving_runtime.Format.formatter -> mutable_reference -> Ppx_deriving_runtime.unit
val show_mutable_reference : mutable_reference -> Ppx_deriving_runtime.string
val equal_mutable_reference : mutable_reference -> mutable_reference -> Ppx_deriving_runtime.bool
val yojson_of_mutable_reference : mutable_reference -> Ppx_yojson_conv_lib.Yojson.Safe.t
val mutable_reference_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> mutable_reference
val compare_mutable_reference : mutable_reference -> mutable_reference -> int
val sexp_of_mutable_reference : mutable_reference -> Sexplib0.Sexp.t
val mutable_reference_of_sexp : Sexplib0.Sexp.t -> mutable_reference
val hash_fold_mutable_reference : Ppx_hash_lib.Std.Hash.state -> mutable_reference -> Ppx_hash_lib.Std.Hash.state
val hash_mutable_reference : mutable_reference -> Ppx_hash_lib.Std.Hash.hash_value
type mutable_pointer
val pp_mutable_pointer : Ppx_deriving_runtime.Format.formatter -> mutable_pointer -> Ppx_deriving_runtime.unit
val show_mutable_pointer : mutable_pointer -> Ppx_deriving_runtime.string
val equal_mutable_pointer : mutable_pointer -> mutable_pointer -> Ppx_deriving_runtime.bool
val yojson_of_mutable_pointer : mutable_pointer -> Ppx_yojson_conv_lib.Yojson.Safe.t
val mutable_pointer_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> mutable_pointer
val compare_mutable_pointer : mutable_pointer -> mutable_pointer -> int
val sexp_of_mutable_pointer : mutable_pointer -> Sexplib0.Sexp.t
val mutable_pointer_of_sexp : Sexplib0.Sexp.t -> mutable_pointer
val hash_fold_mutable_pointer : Ppx_hash_lib.Std.Hash.state -> mutable_pointer -> Ppx_hash_lib.Std.Hash.state
val hash_mutable_pointer : mutable_pointer -> Ppx_hash_lib.Std.Hash.hash_value
type reference
val pp_reference : Ppx_deriving_runtime.Format.formatter -> reference -> Ppx_deriving_runtime.unit
val show_reference : reference -> Ppx_deriving_runtime.string
val equal_reference : reference -> reference -> Ppx_deriving_runtime.bool
val yojson_of_reference : reference -> Ppx_yojson_conv_lib.Yojson.Safe.t
val reference_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> reference
val compare_reference : reference -> reference -> int
val sexp_of_reference : reference -> Sexplib0.Sexp.t
val reference_of_sexp : Sexplib0.Sexp.t -> reference
val hash_fold_reference : Ppx_hash_lib.Std.Hash.state -> reference -> Ppx_hash_lib.Std.Hash.state
val hash_reference : reference -> Ppx_hash_lib.Std.Hash.hash_value
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
type raw_pointer
val pp_raw_pointer : Ppx_deriving_runtime.Format.formatter -> raw_pointer -> Ppx_deriving_runtime.unit
val show_raw_pointer : raw_pointer -> Ppx_deriving_runtime.string
val equal_raw_pointer : raw_pointer -> raw_pointer -> Ppx_deriving_runtime.bool
val yojson_of_raw_pointer : raw_pointer -> Ppx_yojson_conv_lib.Yojson.Safe.t
val raw_pointer_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> raw_pointer
val compare_raw_pointer : raw_pointer -> raw_pointer -> int
val sexp_of_raw_pointer : raw_pointer -> Sexplib0.Sexp.t
val raw_pointer_of_sexp : Sexplib0.Sexp.t -> raw_pointer
val hash_fold_raw_pointer : Ppx_hash_lib.Std.Hash.state -> raw_pointer -> Ppx_hash_lib.Std.Hash.state
val hash_raw_pointer : raw_pointer -> Ppx_hash_lib.Std.Hash.hash_value
type early_exit
val pp_early_exit : Ppx_deriving_runtime.Format.formatter -> early_exit -> Ppx_deriving_runtime.unit
val show_early_exit : early_exit -> Ppx_deriving_runtime.string
val equal_early_exit : early_exit -> early_exit -> Ppx_deriving_runtime.bool
val yojson_of_early_exit : early_exit -> Ppx_yojson_conv_lib.Yojson.Safe.t
val early_exit_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> early_exit
val compare_early_exit : early_exit -> early_exit -> int
val sexp_of_early_exit : early_exit -> Sexplib0.Sexp.t
val early_exit_of_sexp : Sexplib0.Sexp.t -> early_exit
val hash_fold_early_exit : Ppx_hash_lib.Std.Hash.state -> early_exit -> Ppx_hash_lib.Std.Hash.state
val hash_early_exit : early_exit -> Ppx_hash_lib.Std.Hash.hash_value
type question_mark
val pp_question_mark : Ppx_deriving_runtime.Format.formatter -> question_mark -> Ppx_deriving_runtime.unit
val show_question_mark : question_mark -> Ppx_deriving_runtime.string
val equal_question_mark : question_mark -> question_mark -> Ppx_deriving_runtime.bool
val yojson_of_question_mark : question_mark -> Ppx_yojson_conv_lib.Yojson.Safe.t
val question_mark_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> question_mark
val compare_question_mark : question_mark -> question_mark -> int
val sexp_of_question_mark : question_mark -> Sexplib0.Sexp.t
val question_mark_of_sexp : Sexplib0.Sexp.t -> question_mark
val hash_fold_question_mark : Ppx_hash_lib.Std.Hash.state -> question_mark -> Ppx_hash_lib.Std.Hash.state
val hash_question_mark : question_mark -> Ppx_hash_lib.Std.Hash.hash_value
type macro
val pp_macro : Ppx_deriving_runtime.Format.formatter -> macro -> Ppx_deriving_runtime.unit
val show_macro : macro -> Ppx_deriving_runtime.string
val equal_macro : macro -> macro -> Ppx_deriving_runtime.bool
val yojson_of_macro : macro -> Ppx_yojson_conv_lib.Yojson.Safe.t
val macro_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> macro
val compare_macro : macro -> macro -> int
val sexp_of_macro : macro -> Sexplib0.Sexp.t
val macro_of_sexp : Sexplib0.Sexp.t -> macro
val hash_fold_macro : Ppx_hash_lib.Std.Hash.state -> macro -> Ppx_hash_lib.Std.Hash.state
val hash_macro : macro -> Ppx_hash_lib.Std.Hash.hash_value
type as_pattern
val pp_as_pattern : Ppx_deriving_runtime.Format.formatter -> as_pattern -> Ppx_deriving_runtime.unit
val show_as_pattern : as_pattern -> Ppx_deriving_runtime.string
val equal_as_pattern : as_pattern -> as_pattern -> Ppx_deriving_runtime.bool
val yojson_of_as_pattern : as_pattern -> Ppx_yojson_conv_lib.Yojson.Safe.t
val as_pattern_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> as_pattern
val compare_as_pattern : as_pattern -> as_pattern -> int
val sexp_of_as_pattern : as_pattern -> Sexplib0.Sexp.t
val as_pattern_of_sexp : Sexplib0.Sexp.t -> as_pattern
val hash_fold_as_pattern : Ppx_hash_lib.Std.Hash.state -> as_pattern -> Ppx_hash_lib.Std.Hash.state
val hash_as_pattern : as_pattern -> Ppx_hash_lib.Std.Hash.hash_value
type nontrivial_lhs
val pp_nontrivial_lhs : Ppx_deriving_runtime.Format.formatter -> nontrivial_lhs -> Ppx_deriving_runtime.unit
val show_nontrivial_lhs : nontrivial_lhs -> Ppx_deriving_runtime.string
val equal_nontrivial_lhs : nontrivial_lhs -> nontrivial_lhs -> Ppx_deriving_runtime.bool
val yojson_of_nontrivial_lhs : nontrivial_lhs -> Ppx_yojson_conv_lib.Yojson.Safe.t
val nontrivial_lhs_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> nontrivial_lhs
val compare_nontrivial_lhs : nontrivial_lhs -> nontrivial_lhs -> int
val sexp_of_nontrivial_lhs : nontrivial_lhs -> Sexplib0.Sexp.t
val nontrivial_lhs_of_sexp : Sexplib0.Sexp.t -> nontrivial_lhs
val hash_fold_nontrivial_lhs : Ppx_hash_lib.Std.Hash.state -> nontrivial_lhs -> Ppx_hash_lib.Std.Hash.state
val hash_nontrivial_lhs : nontrivial_lhs -> Ppx_hash_lib.Std.Hash.hash_value
type arbitrary_lhs
val pp_arbitrary_lhs : Ppx_deriving_runtime.Format.formatter -> arbitrary_lhs -> Ppx_deriving_runtime.unit
val show_arbitrary_lhs : arbitrary_lhs -> Ppx_deriving_runtime.string
val equal_arbitrary_lhs : arbitrary_lhs -> arbitrary_lhs -> Ppx_deriving_runtime.bool
val yojson_of_arbitrary_lhs : arbitrary_lhs -> Ppx_yojson_conv_lib.Yojson.Safe.t
val arbitrary_lhs_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> arbitrary_lhs
val compare_arbitrary_lhs : arbitrary_lhs -> arbitrary_lhs -> int
val sexp_of_arbitrary_lhs : arbitrary_lhs -> Sexplib0.Sexp.t
val arbitrary_lhs_of_sexp : Sexplib0.Sexp.t -> arbitrary_lhs
val hash_fold_arbitrary_lhs : Ppx_hash_lib.Std.Hash.state -> arbitrary_lhs -> Ppx_hash_lib.Std.Hash.state
val hash_arbitrary_lhs : arbitrary_lhs -> Ppx_hash_lib.Std.Hash.hash_value
type lifetime
val pp_lifetime : Ppx_deriving_runtime.Format.formatter -> lifetime -> Ppx_deriving_runtime.unit
val show_lifetime : lifetime -> Ppx_deriving_runtime.string
val equal_lifetime : lifetime -> lifetime -> Ppx_deriving_runtime.bool
val yojson_of_lifetime : lifetime -> Ppx_yojson_conv_lib.Yojson.Safe.t
val lifetime_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> lifetime
val compare_lifetime : lifetime -> lifetime -> int
val sexp_of_lifetime : lifetime -> Sexplib0.Sexp.t
val lifetime_of_sexp : Sexplib0.Sexp.t -> lifetime
val hash_fold_lifetime : Ppx_hash_lib.Std.Hash.state -> lifetime -> Ppx_hash_lib.Std.Hash.state
val hash_lifetime : lifetime -> Ppx_hash_lib.Std.Hash.hash_value
type construct_base
val pp_construct_base : Ppx_deriving_runtime.Format.formatter -> construct_base -> Ppx_deriving_runtime.unit
val show_construct_base : construct_base -> Ppx_deriving_runtime.string
val equal_construct_base : construct_base -> construct_base -> Ppx_deriving_runtime.bool
val yojson_of_construct_base : construct_base -> Ppx_yojson_conv_lib.Yojson.Safe.t
val construct_base_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> construct_base
val compare_construct_base : construct_base -> construct_base -> int
val sexp_of_construct_base : construct_base -> Sexplib0.Sexp.t
val construct_base_of_sexp : Sexplib0.Sexp.t -> construct_base
val hash_fold_construct_base : Ppx_hash_lib.Std.Hash.state -> construct_base -> Ppx_hash_lib.Std.Hash.state
val hash_construct_base : construct_base -> Ppx_hash_lib.Std.Hash.hash_value
type monadic_action
val pp_monadic_action : Ppx_deriving_runtime.Format.formatter -> monadic_action -> Ppx_deriving_runtime.unit
val show_monadic_action : monadic_action -> Ppx_deriving_runtime.string
val equal_monadic_action : monadic_action -> monadic_action -> Ppx_deriving_runtime.bool
val yojson_of_monadic_action : monadic_action -> Ppx_yojson_conv_lib.Yojson.Safe.t
val monadic_action_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> monadic_action
val compare_monadic_action : monadic_action -> monadic_action -> int
val sexp_of_monadic_action : monadic_action -> Sexplib0.Sexp.t
val monadic_action_of_sexp : Sexplib0.Sexp.t -> monadic_action
val hash_fold_monadic_action : Ppx_hash_lib.Std.Hash.state -> monadic_action -> Ppx_hash_lib.Std.Hash.state
val hash_monadic_action : monadic_action -> Ppx_hash_lib.Std.Hash.hash_value
type monadic_binding
val pp_monadic_binding : Ppx_deriving_runtime.Format.formatter -> monadic_binding -> Ppx_deriving_runtime.unit
val show_monadic_binding : monadic_binding -> Ppx_deriving_runtime.string
val equal_monadic_binding : monadic_binding -> monadic_binding -> Ppx_deriving_runtime.bool
val yojson_of_monadic_binding : monadic_binding -> Ppx_yojson_conv_lib.Yojson.Safe.t
val monadic_binding_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> monadic_binding
val compare_monadic_binding : monadic_binding -> monadic_binding -> int
val sexp_of_monadic_binding : monadic_binding -> Sexplib0.Sexp.t
val monadic_binding_of_sexp : Sexplib0.Sexp.t -> monadic_binding
val hash_fold_monadic_binding : Ppx_hash_lib.Std.Hash.state -> monadic_binding -> Ppx_hash_lib.Std.Hash.state
val hash_monadic_binding : monadic_binding -> Ppx_hash_lib.Std.Hash.hash_value
type quote
val pp_quote : Ppx_deriving_runtime.Format.formatter -> quote -> Ppx_deriving_runtime.unit
val show_quote : quote -> Ppx_deriving_runtime.string
val equal_quote : quote -> quote -> Ppx_deriving_runtime.bool
val yojson_of_quote : quote -> Ppx_yojson_conv_lib.Yojson.Safe.t
val quote_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> quote
val compare_quote : quote -> quote -> int
val sexp_of_quote : quote -> Sexplib0.Sexp.t
val quote_of_sexp : Sexplib0.Sexp.t -> quote
val hash_fold_quote : Ppx_hash_lib.Std.Hash.state -> quote -> Ppx_hash_lib.Std.Hash.state
val hash_quote : quote -> Ppx_hash_lib.Std.Hash.hash_value
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
type dyn
val pp_dyn : Ppx_deriving_runtime.Format.formatter -> dyn -> Ppx_deriving_runtime.unit
val show_dyn : dyn -> Ppx_deriving_runtime.string
val equal_dyn : dyn -> dyn -> Ppx_deriving_runtime.bool
val yojson_of_dyn : dyn -> Ppx_yojson_conv_lib.Yojson.Safe.t
val dyn_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> dyn
val compare_dyn : dyn -> dyn -> int
val sexp_of_dyn : dyn -> Sexplib0.Sexp.t
val dyn_of_sexp : Sexplib0.Sexp.t -> dyn
val hash_fold_dyn : Ppx_hash_lib.Std.Hash.state -> dyn -> Ppx_hash_lib.Std.Hash.state
val hash_dyn : dyn -> Ppx_hash_lib.Std.Hash.hash_value
type match_guard
val pp_match_guard : Ppx_deriving_runtime.Format.formatter -> match_guard -> Ppx_deriving_runtime.unit
val show_match_guard : match_guard -> Ppx_deriving_runtime.string
val equal_match_guard : match_guard -> match_guard -> Ppx_deriving_runtime.bool
val yojson_of_match_guard : match_guard -> Ppx_yojson_conv_lib.Yojson.Safe.t
val match_guard_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> match_guard
val compare_match_guard : match_guard -> match_guard -> int
val sexp_of_match_guard : match_guard -> Sexplib0.Sexp.t
val match_guard_of_sexp : Sexplib0.Sexp.t -> match_guard
val hash_fold_match_guard : Ppx_hash_lib.Std.Hash.state -> match_guard -> Ppx_hash_lib.Std.Hash.state
val hash_match_guard : match_guard -> Ppx_hash_lib.Std.Hash.hash_value
type trait_item_default
val pp_trait_item_default : Ppx_deriving_runtime.Format.formatter -> trait_item_default -> Ppx_deriving_runtime.unit
val show_trait_item_default : trait_item_default -> Ppx_deriving_runtime.string
val equal_trait_item_default : trait_item_default -> trait_item_default -> Ppx_deriving_runtime.bool
val yojson_of_trait_item_default : trait_item_default -> Ppx_yojson_conv_lib.Yojson.Safe.t
val trait_item_default_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> trait_item_default
val compare_trait_item_default : trait_item_default -> trait_item_default -> int
val sexp_of_trait_item_default : trait_item_default -> Sexplib0.Sexp.t
val trait_item_default_of_sexp : Sexplib0.Sexp.t -> trait_item_default
val hash_fold_trait_item_default : Ppx_hash_lib.Std.Hash.state -> trait_item_default -> Ppx_hash_lib.Std.Hash.state
val hash_trait_item_default : trait_item_default -> Ppx_hash_lib.Std.Hash.hash_value
type unsafe
val pp_unsafe : Ppx_deriving_runtime.Format.formatter -> unsafe -> Ppx_deriving_runtime.unit
val show_unsafe : unsafe -> Ppx_deriving_runtime.string
val equal_unsafe : unsafe -> unsafe -> Ppx_deriving_runtime.bool
val yojson_of_unsafe : unsafe -> Ppx_yojson_conv_lib.Yojson.Safe.t
val unsafe_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> unsafe
val compare_unsafe : unsafe -> unsafe -> int
val sexp_of_unsafe : unsafe -> Sexplib0.Sexp.t
val unsafe_of_sexp : Sexplib0.Sexp.t -> unsafe
val hash_fold_unsafe : Ppx_hash_lib.Std.Hash.state -> unsafe -> Ppx_hash_lib.Std.Hash.state
val hash_unsafe : unsafe -> Ppx_hash_lib.Std.Hash.hash_value