Up – hax-engine » Hax_engine » Side_effect_utils » MakeSIModule Side_effect_utils.MakeSI
Parameters Signatureinclude module type of struct include Ast end
val pp_todo :
Ppx_deriving_runtime .Format.formatter ->
todo ->
Ppx_deriving_runtime .unit
val show_todo : todo -> Ppx_deriving_runtime .string
val equal_todo : todo -> todo -> Ppx_deriving_runtime .bool
val todo_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> todo
val yojson_of_todo : todo -> Ppx_yojson_conv_lib .Yojson.Safe.t
val todo_of_sexp : Sexplib0 .Sexp.t -> todo
val sexp_of_todo : todo -> Sexplib0 .Sexp.t
val hash_fold_todo :
Ppx_hash_lib .Std.Hash.state ->
todo ->
Ppx_hash_lib .Std.Hash.state
val hash_todo : todo -> Ppx_hash_lib .Std.Hash.hash_value
val pp_span :
Ppx_deriving_runtime .Format.formatter ->
span ->
Ppx_deriving_runtime .unit
val show_span : span -> Ppx_deriving_runtime .string
val equal_span : span -> span -> Ppx_deriving_runtime .bool
val span_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> span
val yojson_of_span : span -> Ppx_yojson_conv_lib .Yojson.Safe.t
val span_of_sexp : Sexplib0 .Sexp.t -> span
val sexp_of_span : span -> Sexplib0 .Sexp.t
val hash_fold_span :
Ppx_hash_lib .Std.Hash.state ->
span ->
Ppx_hash_lib .Std.Hash.state
val hash_span : span -> Ppx_hash_lib .Std.Hash.hash_value
val pp_concrete_ident :
Ppx_deriving_runtime .Format.formatter ->
concrete_ident ->
Ppx_deriving_runtime .unit
val show_concrete_ident : concrete_ident -> Ppx_deriving_runtime .string
val concrete_ident_of_yojson :
Ppx_yojson_conv_lib .Yojson.Safe.t ->
concrete_ident
val yojson_of_concrete_ident :
concrete_ident ->
Ppx_yojson_conv_lib .Yojson.Safe.t
val hash_fold_concrete_ident :
Ppx_hash_lib .Std.Hash.state ->
concrete_ident ->
Ppx_hash_lib .Std.Hash.state
val hash_concrete_ident : concrete_ident -> Ppx_hash_lib .Std.Hash.hash_value
val pp_logical_op :
Ppx_deriving_runtime .Format.formatter ->
logical_op ->
Ppx_deriving_runtime .unit
val show_logical_op : logical_op -> Ppx_deriving_runtime .string
val pp_primitive_ident :
Ppx_deriving_runtime .Format.formatter ->
primitive_ident ->
Ppx_deriving_runtime .unit
val logical_op_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> logical_op
val primitive_ident_of_yojson :
Ppx_yojson_conv_lib .Yojson.Safe.t ->
primitive_ident
val yojson_of_logical_op : logical_op -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_primitive_ident :
primitive_ident ->
Ppx_yojson_conv_lib .Yojson.Safe.t
val logical_op_of_sexp : Sexplib0 .Sexp.t -> logical_op
val sexp_of_logical_op : logical_op -> Sexplib0 .Sexp.t
val hash_fold_logical_op :
Ppx_hash_lib .Std.Hash.state ->
logical_op ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_primitive_ident :
Ppx_hash_lib .Std.Hash.state ->
primitive_ident ->
Ppx_hash_lib .Std.Hash.state
val hash_logical_op : logical_op -> Ppx_hash_lib .Std.Hash.hash_value
val hash_primitive_ident : primitive_ident -> Ppx_hash_lib .Std.Hash.hash_value
val pp_global_ident :
Ppx_deriving_runtime .Format.formatter ->
global_ident ->
Ppx_deriving_runtime .unit
val show_global_ident : global_ident -> Ppx_deriving_runtime .string
val global_ident_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> global_ident
val yojson_of_global_ident : global_ident -> Ppx_yojson_conv_lib .Yojson.Safe.t
val hash_fold_global_ident :
Ppx_hash_lib .Std.Hash.state ->
global_ident ->
Ppx_hash_lib .Std.Hash.state
val hash_global_ident : global_ident -> Ppx_hash_lib .Std.Hash.hash_value
val pp_attr_kind :
Ppx_deriving_runtime .Format.formatter ->
attr_kind ->
Ppx_deriving_runtime .unit
val show_attr_kind : attr_kind -> Ppx_deriving_runtime .string
val pp_attr :
Ppx_deriving_runtime .Format.formatter ->
attr ->
Ppx_deriving_runtime .unit
val show_attr : attr -> Ppx_deriving_runtime .string
val pp_attrs :
Ppx_deriving_runtime .Format.formatter ->
attrs ->
Ppx_deriving_runtime .unit
val show_attrs : attrs -> Ppx_deriving_runtime .string
val equal_attr : attr -> attr -> Ppx_deriving_runtime .bool
val equal_attrs : attrs -> attrs -> Ppx_deriving_runtime .bool
val attr_kind_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> attr_kind
val attr_of_yojson : Yojson .Safe.t -> attr
val attrs_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> attrs
val yojson_of_attr_kind : attr_kind -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_attr : attr -> Yojson .Safe.t
val yojson_of_attrs : attrs -> Ppx_yojson_conv_lib .Yojson.Safe.t
val attr_kind_of_sexp : Sexplib0__ .Sexp.t -> attr_kind
val attr_of_sexp : Sexplib0 .Sexp.t -> attr
val attrs_of_sexp : Sexplib0 .Sexp.t -> attrs
val sexp_of_attr_kind : attr_kind -> Sexplib0 .Sexp.t
val sexp_of_attr : attr -> Sexplib0 .Sexp.t
val sexp_of_attrs : attrs -> Sexplib0 .Sexp.t
val hash_fold_attr_kind :
Ppx_hash_lib .Std.Hash.state ->
attr_kind ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_attr :
Base__ .Ppx_hash_lib.Std.Hash.state ->
attr ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_attrs :
Ppx_hash_lib .Std.Hash.state ->
attrs ->
Ppx_hash_lib .Std.Hash.state
val hash_attr_kind : attr_kind -> Ppx_hash_lib .Std.Hash.hash_value
val hash_attr : attr -> Ppx_hash_lib .Std.Hash.hash_value
val hash_attrs : attrs -> Ppx_hash_lib .Std.Hash.hash_value
val pp_local_ident :
Ppx_deriving_runtime .Format.formatter ->
local_ident ->
Ppx_deriving_runtime .unit
val show_local_ident : local_ident -> Ppx_deriving_runtime .string
val local_ident_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> local_ident
val yojson_of_local_ident : local_ident -> Ppx_yojson_conv_lib .Yojson.Safe.t
val local_ident_of_sexp : Sexplib0 .Sexp.t -> local_ident
val sexp_of_local_ident : local_ident -> Sexplib0 .Sexp.t
val hash_fold_local_ident :
Ppx_hash_lib .Std.Hash.state ->
local_ident ->
Ppx_hash_lib .Std.Hash.state
val hash_local_ident : local_ident -> Ppx_hash_lib .Std.Hash.hash_value
type size = Ast.size =
| S8
| S16
| S32
| S64
| S128
| SSize
val pp_size :
Ppx_deriving_runtime .Format.formatter ->
size ->
Ppx_deriving_runtime .unit
val show_size : size -> Ppx_deriving_runtime .string
val equal_size : size -> size -> Ppx_deriving_runtime .bool
val size_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> size
val yojson_of_size : size -> Ppx_yojson_conv_lib .Yojson.Safe.t
val size_of_sexp : Sexplib0 .Sexp.t -> size
val sexp_of_size : size -> Sexplib0 .Sexp.t
val hash_fold_size :
Ppx_hash_lib .Std.Hash.state ->
size ->
Ppx_hash_lib .Std.Hash.state
val hash_size : size -> Ppx_hash_lib .Std.Hash.hash_value
val int_of_size : size -> int option
val string_of_size : size -> string Hax_engine .Prelude.Option.t
val pp_signedness :
Ppx_deriving_runtime .Format.formatter ->
signedness ->
Ppx_deriving_runtime .unit
val show_signedness : signedness -> Ppx_deriving_runtime .string
val signedness_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> signedness
val yojson_of_signedness : signedness -> Ppx_yojson_conv_lib .Yojson.Safe.t
val signedness_of_sexp : Sexplib0 .Sexp.t -> signedness
val sexp_of_signedness : signedness -> Sexplib0 .Sexp.t
val hash_fold_signedness :
Ppx_hash_lib .Std.Hash.state ->
signedness ->
Ppx_hash_lib .Std.Hash.state
val hash_signedness : signedness -> Ppx_hash_lib .Std.Hash.hash_value
val pp_int_kind :
Ppx_deriving_runtime .Format.formatter ->
int_kind ->
Ppx_deriving_runtime .unit
val int_kind_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> int_kind
val yojson_of_int_kind : int_kind -> Ppx_yojson_conv_lib .Yojson.Safe.t
val int_kind_of_sexp : Sexplib0 .Sexp.t -> int_kind
val sexp_of_int_kind : int_kind -> Sexplib0 .Sexp.t
val hash_fold_int_kind :
Ppx_hash_lib .Std.Hash.state ->
int_kind ->
Ppx_hash_lib .Std.Hash.state
val hash_int_kind : int_kind -> Ppx_hash_lib .Std.Hash.hash_value
val show_int_kind : int_kind -> Hax_engine .Prelude.String.t
val pp_float_kind :
Ppx_deriving_runtime .Format.formatter ->
float_kind ->
Ppx_deriving_runtime .unit
val float_kind_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> float_kind
val yojson_of_float_kind : float_kind -> Ppx_yojson_conv_lib .Yojson.Safe.t
val float_kind_of_sexp : Sexplib0 .Sexp.t -> float_kind
val sexp_of_float_kind : float_kind -> Sexplib0 .Sexp.t
val hash_fold_float_kind :
Ppx_hash_lib .Std.Hash.state ->
float_kind ->
Ppx_hash_lib .Std.Hash.state
val hash_float_kind : float_kind -> Ppx_hash_lib .Std.Hash.hash_value
val pp_literal :
Ppx_deriving_runtime .Format.formatter ->
literal ->
Ppx_deriving_runtime .unit
val show_literal : literal -> Ppx_deriving_runtime .string
val literal_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> literal
val yojson_of_literal : literal -> Ppx_yojson_conv_lib .Yojson.Safe.t
val literal_of_sexp : Sexplib0 .Sexp.t -> literal
val sexp_of_literal : literal -> Sexplib0 .Sexp.t
val hash_fold_literal :
Ppx_hash_lib .Std.Hash.state ->
literal ->
Ppx_hash_lib .Std.Hash.state
val hash_literal : literal -> Ppx_hash_lib .Std.Hash.hash_value
type 'mut_witness mutability = 'mut_witness Ast.mutability =
| Mutable of 'mut_witness
| Immutable
val pp_mutability :
'mut_witness. (Ppx_deriving_runtime .Format.formatter ->
'mut_witness ->
Ppx_deriving_runtime .unit) ->
Ppx_deriving_runtime .Format.formatter ->
'mut_witness mutability ->
Ppx_deriving_runtime .unit
val show_mutability :
'mut_witness. (Ppx_deriving_runtime .Format.formatter ->
'mut_witness ->
Ppx_deriving_runtime .unit) ->
'mut_witness mutability ->
Ppx_deriving_runtime .string
val equal_mutability :
'mut_witness. ('mut_witness -> 'mut_witness -> Ppx_deriving_runtime .bool) ->
'mut_witness mutability ->
'mut_witness mutability ->
Ppx_deriving_runtime .bool
val mutability_of_yojson :
'mut_witness. (Ppx_yojson_conv_lib .Yojson.Safe.t -> 'mut_witness ) ->
Ppx_yojson_conv_lib .Yojson.Safe.t ->
'mut_witness mutability
val yojson_of_mutability :
'mut_witness. ('mut_witness -> Ppx_yojson_conv_lib .Yojson.Safe.t) ->
'mut_witness mutability ->
Ppx_yojson_conv_lib .Yojson.Safe.t
val mutability_of_sexp :
'mut_witness. (Sexplib0 .Sexp.t -> 'mut_witness ) ->
Sexplib0 .Sexp.t ->
'mut_witness mutability
val sexp_of_mutability :
'mut_witness. ('mut_witness -> Sexplib0 .Sexp.t) ->
'mut_witness mutability ->
Sexplib0 .Sexp.t
val hash_fold_mutability :
'mut_witness. (Ppx_hash_lib .Std.Hash.state ->
'mut_witness ->
Ppx_hash_lib .Std.Hash.state) ->
Ppx_hash_lib .Std.Hash.state ->
'mut_witness mutability ->
Ppx_hash_lib .Std.Hash.state
include module type of struct include AST end
type safety_kind =
| Safe
| Unsafe of F.unsafe
val pp_safety_kind :
Ppx_deriving_runtime .Format.formatter ->
safety_kind ->
Ppx_deriving_runtime .unit
val show_safety_kind : safety_kind -> Ppx_deriving_runtime .string
val safety_kind_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> safety_kind
val yojson_of_safety_kind : safety_kind -> Ppx_yojson_conv_lib .Yojson.Safe.t
val safety_kind_of_sexp : Sexplib0 .Sexp.t -> safety_kind
val sexp_of_safety_kind : safety_kind -> Sexplib0 .Sexp.t
val hash_fold_safety_kind :
Ppx_hash_lib .Std.Hash.state ->
safety_kind ->
Ppx_hash_lib .Std.Hash.state
val hash_safety_kind : safety_kind -> Ppx_hash_lib .Std.Hash.hash_value
val pp_borrow_kind :
Ppx_deriving_runtime .Format.formatter ->
borrow_kind ->
Ppx_deriving_runtime .unit
val show_borrow_kind : borrow_kind -> Ppx_deriving_runtime .string
val borrow_kind_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> borrow_kind
val yojson_of_borrow_kind : borrow_kind -> Ppx_yojson_conv_lib .Yojson.Safe.t
val borrow_kind_of_sexp : Sexplib0 .Sexp.t -> borrow_kind
val sexp_of_borrow_kind : borrow_kind -> Sexplib0 .Sexp.t
val hash_fold_borrow_kind :
Ppx_hash_lib .Std.Hash.state ->
borrow_kind ->
Ppx_hash_lib .Std.Hash.state
val hash_borrow_kind : borrow_kind -> Ppx_hash_lib .Std.Hash.hash_value
val pp_binding_mode :
Ppx_deriving_runtime .Format.formatter ->
binding_mode ->
Ppx_deriving_runtime .unit
val show_binding_mode : binding_mode -> Ppx_deriving_runtime .string
val binding_mode_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> binding_mode
val yojson_of_binding_mode : binding_mode -> Ppx_yojson_conv_lib .Yojson.Safe.t
val hash_fold_binding_mode :
Ppx_hash_lib .Std.Hash.state ->
binding_mode ->
Ppx_hash_lib .Std.Hash.state
val hash_binding_mode : binding_mode -> Ppx_hash_lib .Std.Hash.hash_value
and supported_monads =
| MException of ty
| MResult of ty
| MOption
val pp_ty :
Ppx_deriving_runtime .Format.formatter ->
ty ->
Ppx_deriving_runtime .unit
val show_ty : ty -> Ppx_deriving_runtime .string
val pp_generic_value :
Ppx_deriving_runtime .Format.formatter ->
generic_value ->
Ppx_deriving_runtime .unit
val show_generic_value : generic_value -> Ppx_deriving_runtime .string
val pp_impl_expr :
Ppx_deriving_runtime .Format.formatter ->
impl_expr ->
Ppx_deriving_runtime .unit
val show_impl_expr : impl_expr -> Ppx_deriving_runtime .string
val pp_impl_expr_kind :
Ppx_deriving_runtime .Format.formatter ->
impl_expr_kind ->
Ppx_deriving_runtime .unit
val show_impl_expr_kind : impl_expr_kind -> Ppx_deriving_runtime .string
val pp_trait_goal :
Ppx_deriving_runtime .Format.formatter ->
trait_goal ->
Ppx_deriving_runtime .unit
val show_trait_goal : trait_goal -> Ppx_deriving_runtime .string
val pp_dyn_trait_goal :
Ppx_deriving_runtime .Format.formatter ->
dyn_trait_goal ->
Ppx_deriving_runtime .unit
val show_dyn_trait_goal : dyn_trait_goal -> Ppx_deriving_runtime .string
val pp_impl_ident :
Ppx_deriving_runtime .Format.formatter ->
impl_ident ->
Ppx_deriving_runtime .unit
val show_impl_ident : impl_ident -> Ppx_deriving_runtime .string
val pp_projection_predicate :
Ppx_deriving_runtime .Format.formatter ->
projection_predicate ->
Ppx_deriving_runtime .unit
val pp_pat' :
Ppx_deriving_runtime .Format.formatter ->
pat' ->
Ppx_deriving_runtime .unit
val show_pat' : pat' -> Ppx_deriving_runtime .string
val pp_pat :
Ppx_deriving_runtime .Format.formatter ->
pat ->
Ppx_deriving_runtime .unit
val show_pat : pat -> Ppx_deriving_runtime .string
val pp_field_pat :
Ppx_deriving_runtime .Format.formatter ->
field_pat ->
Ppx_deriving_runtime .unit
val show_field_pat : field_pat -> Ppx_deriving_runtime .string
val pp_expr' :
Ppx_deriving_runtime .Format.formatter ->
expr' ->
Ppx_deriving_runtime .unit
val show_expr' : expr' -> Ppx_deriving_runtime .string
val pp_expr :
Ppx_deriving_runtime .Format.formatter ->
expr ->
Ppx_deriving_runtime .unit
val show_expr : expr -> Ppx_deriving_runtime .string
val pp_quote :
Ppx_deriving_runtime .Format.formatter ->
quote ->
Ppx_deriving_runtime .unit
val show_quote : quote -> Ppx_deriving_runtime .string
val pp_supported_monads :
Ppx_deriving_runtime .Format.formatter ->
supported_monads ->
Ppx_deriving_runtime .unit
val pp_loop_kind :
Ppx_deriving_runtime .Format.formatter ->
loop_kind ->
Ppx_deriving_runtime .unit
val show_loop_kind : loop_kind -> Ppx_deriving_runtime .string
val pp_loop_state :
Ppx_deriving_runtime .Format.formatter ->
loop_state ->
Ppx_deriving_runtime .unit
val show_loop_state : loop_state -> Ppx_deriving_runtime .string
val pp_lhs :
Ppx_deriving_runtime .Format.formatter ->
lhs ->
Ppx_deriving_runtime .unit
val show_lhs : lhs -> Ppx_deriving_runtime .string
val pp_guard :
Ppx_deriving_runtime .Format.formatter ->
guard ->
Ppx_deriving_runtime .unit
val show_guard : guard -> Ppx_deriving_runtime .string
val pp_guard' :
Ppx_deriving_runtime .Format.formatter ->
guard' ->
Ppx_deriving_runtime .unit
val show_guard' : guard' -> Ppx_deriving_runtime .string
val pp_arm' :
Ppx_deriving_runtime .Format.formatter ->
arm' ->
Ppx_deriving_runtime .unit
val show_arm' : arm' -> Ppx_deriving_runtime .string
val pp_arm :
Ppx_deriving_runtime .Format.formatter ->
arm ->
Ppx_deriving_runtime .unit
val show_arm : arm -> Ppx_deriving_runtime .string
val equal_ty : ty -> ty -> Ppx_deriving_runtime .bool
val equal_pat' : pat' -> pat' -> Ppx_deriving_runtime .bool
val equal_pat : pat -> pat -> Ppx_deriving_runtime .bool
val equal_expr' : expr' -> expr' -> Ppx_deriving_runtime .bool
val equal_expr : expr -> expr -> Ppx_deriving_runtime .bool
val equal_quote : quote -> quote -> Ppx_deriving_runtime .bool
val equal_lhs : lhs -> lhs -> Ppx_deriving_runtime .bool
val equal_guard : guard -> guard -> Ppx_deriving_runtime .bool
val equal_guard' : guard' -> guard' -> Ppx_deriving_runtime .bool
val equal_arm' : arm' -> arm' -> Ppx_deriving_runtime .bool
val equal_arm : arm -> arm -> Ppx_deriving_runtime .bool
val ty_of_yojson : Yojson .Safe.t -> ty
val impl_expr_of_yojson : Yojson .Safe.t -> impl_expr
val impl_expr_kind_of_yojson :
Ppx_yojson_conv_lib .Yojson.Safe.t ->
impl_expr_kind
val trait_goal_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> trait_goal
val impl_ident_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> impl_ident
val pat'_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> pat'
val pat_of_yojson : Yojson .Safe.t -> pat
val field_pat_of_yojson : Yojson .Safe.t -> field_pat
val expr'_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> expr'
val expr_of_yojson : Yojson .Safe.t -> expr
val quote_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> quote
val loop_kind_of_yojson : Yojson .Safe.t -> loop_kind
val loop_state_of_yojson : Yojson .Safe.t -> loop_state
val lhs_of_yojson : Yojson .Safe.t -> lhs
val guard_of_yojson : Yojson .Safe.t -> guard
val guard'_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> guard'
val arm'_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> arm'
val arm_of_yojson : Yojson .Safe.t -> arm
val yojson_of_ty : ty -> Yojson .Safe.t
val yojson_of_impl_expr : impl_expr -> Yojson .Safe.t
val yojson_of_impl_expr_kind :
impl_expr_kind ->
Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_trait_goal : trait_goal -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_impl_ident : impl_ident -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_pat' : pat' -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_pat : pat -> Yojson .Safe.t
val yojson_of_field_pat : field_pat -> Yojson .Safe.t
val yojson_of_expr' : expr' -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_expr : expr -> Yojson .Safe.t
val yojson_of_quote : quote -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_supported_monads :
supported_monads ->
Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_loop_kind : loop_kind -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_loop_state : loop_state -> Yojson .Safe.t
val yojson_of_lhs : lhs -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_guard : guard -> Yojson .Safe.t
val yojson_of_guard' : guard' -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_arm' : arm' -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_arm : arm -> Yojson .Safe.t
val ty_of_sexp : Sexplib0__ .Sexp.t -> ty
val impl_expr_of_sexp : Sexplib0 .Sexp.t -> impl_expr
val trait_goal_of_sexp : Sexplib0__ .Sexp.t -> trait_goal
val impl_ident_of_sexp : Sexplib0__ .Sexp.t -> impl_ident
val pat'_of_sexp : Sexplib0__ .Sexp.t -> pat'
val pat_of_sexp : Sexplib0__ .Sexp.t -> pat
val field_pat_of_sexp : Sexplib0 .Sexp.t -> field_pat
val expr'_of_sexp : Sexplib0__ .Sexp.t -> expr'
val expr_of_sexp : Sexplib0__ .Sexp.t -> expr
val quote_of_sexp : Sexplib0 .Sexp.t -> quote
val loop_kind_of_sexp : Sexplib0__ .Sexp.t -> loop_kind
val loop_state_of_sexp : Sexplib0 .Sexp.t -> loop_state
val lhs_of_sexp : Sexplib0__ .Sexp.t -> lhs
val guard_of_sexp : Sexplib0 .Sexp.t -> guard
val guard'_of_sexp : Sexplib0__ .Sexp.t -> guard'
val arm'_of_sexp : Sexplib0__ .Sexp.t -> arm'
val arm_of_sexp : Sexplib0 .Sexp.t -> arm
val sexp_of_ty : ty -> Sexplib0 .Sexp.t
val sexp_of_impl_expr : impl_expr -> Sexplib0 .Sexp.t
val sexp_of_trait_goal : trait_goal -> Sexplib0 .Sexp.t
val sexp_of_impl_ident : impl_ident -> Sexplib0 .Sexp.t
val sexp_of_pat' : pat' -> Sexplib0 .Sexp.t
val sexp_of_pat : pat -> Sexplib0 .Sexp.t
val sexp_of_field_pat : field_pat -> Sexplib0 .Sexp.t
val sexp_of_expr' : expr' -> Sexplib0 .Sexp.t
val sexp_of_expr : expr -> Sexplib0 .Sexp.t
val sexp_of_quote : quote -> Sexplib0 .Sexp.t
val sexp_of_loop_kind : loop_kind -> Sexplib0 .Sexp.t
val sexp_of_loop_state : loop_state -> Sexplib0 .Sexp.t
val sexp_of_lhs : lhs -> Sexplib0 .Sexp.t
val sexp_of_guard : guard -> Sexplib0 .Sexp.t
val sexp_of_guard' : guard' -> Sexplib0 .Sexp.t
val sexp_of_arm' : arm' -> Sexplib0 .Sexp.t
val sexp_of_arm : arm -> Sexplib0 .Sexp.t
val hash_fold_ty :
Base__ .Ppx_hash_lib.Std.Hash.state ->
ty ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_generic_value :
Base__ .Ppx_hash_lib.Std.Hash.state ->
generic_value ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_impl_expr :
Base__ .Ppx_hash_lib.Std.Hash.state ->
impl_expr ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_impl_expr_kind :
Ppx_hash_lib .Std.Hash.state ->
impl_expr_kind ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_trait_goal :
Ppx_hash_lib .Std.Hash.state ->
trait_goal ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_dyn_trait_goal :
Base__ .Ppx_hash_lib.Std.Hash.state ->
dyn_trait_goal ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_impl_ident :
Ppx_hash_lib .Std.Hash.state ->
impl_ident ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_projection_predicate :
Ppx_hash_lib .Std.Hash.state ->
projection_predicate ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_pat' :
Ppx_hash_lib .Std.Hash.state ->
pat' ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_pat :
Base__ .Ppx_hash_lib.Std.Hash.state ->
pat ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_field_pat :
Base__ .Ppx_hash_lib.Std.Hash.state ->
field_pat ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_expr' :
Ppx_hash_lib .Std.Hash.state ->
expr' ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_expr :
Base__ .Ppx_hash_lib.Std.Hash.state ->
expr ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_quote :
Ppx_hash_lib .Std.Hash.state ->
quote ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_supported_monads :
Ppx_hash_lib .Std.Hash.state ->
supported_monads ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_loop_kind :
Ppx_hash_lib .Std.Hash.state ->
loop_kind ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_loop_state :
Base__ .Ppx_hash_lib.Std.Hash.state ->
loop_state ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_lhs :
Ppx_hash_lib .Std.Hash.state ->
lhs ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_guard :
Base__ .Ppx_hash_lib.Std.Hash.state ->
guard ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_guard' :
Ppx_hash_lib .Std.Hash.state ->
guard' ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_arm' :
Ppx_hash_lib .Std.Hash.state ->
arm' ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_arm :
Base__ .Ppx_hash_lib.Std.Hash.state ->
arm ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_ty : ty -> Ppx_hash_lib .Std.Hash.hash_value
val hash_generic_value : generic_value -> Ppx_hash_lib .Std.Hash.hash_value
val hash_impl_expr : impl_expr -> Ppx_hash_lib .Std.Hash.hash_value
val hash_impl_expr_kind : impl_expr_kind -> Ppx_hash_lib .Std.Hash.hash_value
val hash_trait_goal : trait_goal -> Ppx_hash_lib .Std.Hash.hash_value
val hash_dyn_trait_goal : dyn_trait_goal -> Ppx_hash_lib .Std.Hash.hash_value
val hash_impl_ident : impl_ident -> Ppx_hash_lib .Std.Hash.hash_value
val hash_pat' : pat' -> Ppx_hash_lib .Std.Hash.hash_value
val hash_pat : pat -> Ppx_hash_lib .Std.Hash.hash_value
val hash_field_pat : field_pat -> Ppx_hash_lib .Std.Hash.hash_value
val hash_expr' : expr' -> Ppx_hash_lib .Std.Hash.hash_value
val hash_expr : expr -> Ppx_hash_lib .Std.Hash.hash_value
val hash_quote : quote -> Ppx_hash_lib .Std.Hash.hash_value
val hash_supported_monads :
supported_monads ->
Ppx_hash_lib .Std.Hash.hash_value
val hash_loop_kind : loop_kind -> Ppx_hash_lib .Std.Hash.hash_value
val hash_loop_state : loop_state -> Ppx_hash_lib .Std.Hash.hash_value
val hash_lhs : lhs -> Ppx_hash_lib .Std.Hash.hash_value
val hash_guard : guard -> Ppx_hash_lib .Std.Hash.hash_value
val hash_guard' : guard' -> Ppx_hash_lib .Std.Hash.hash_value
val hash_arm' : arm' -> Ppx_hash_lib .Std.Hash.hash_value
val hash_arm : arm -> Ppx_hash_lib .Std.Hash.hash_value
and generic_param_kind =
| GPLifetime of {
witness : F.lifetime ;
}
| GPType
| GPConst of {
typ : ty ;
}
val pp_generic_param :
Ppx_deriving_runtime .Format.formatter ->
generic_param ->
Ppx_deriving_runtime .unit
val show_generic_param : generic_param -> Ppx_deriving_runtime .string
val pp_generic_param_kind :
Ppx_deriving_runtime .Format.formatter ->
generic_param_kind ->
Ppx_deriving_runtime .unit
val pp_generic_constraint :
Ppx_deriving_runtime .Format.formatter ->
generic_constraint ->
Ppx_deriving_runtime .unit
val generic_param_of_yojson :
Ppx_yojson_conv_lib .Yojson.Safe.t ->
generic_param
val generic_param_kind_of_yojson :
Ppx_yojson_conv_lib .Yojson.Safe.t ->
generic_param_kind
val generic_constraint_of_yojson :
Ppx_yojson_conv_lib .Yojson.Safe.t ->
generic_constraint
val yojson_of_generic_param :
generic_param ->
Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_generic_param_kind :
generic_param_kind ->
Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_generic_constraint :
generic_constraint ->
Ppx_yojson_conv_lib .Yojson.Safe.t
val hash_fold_generic_param :
Ppx_hash_lib .Std.Hash.state ->
generic_param ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_generic_param_kind :
Ppx_hash_lib .Std.Hash.state ->
generic_param_kind ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_generic_constraint :
Ppx_hash_lib .Std.Hash.state ->
generic_constraint ->
Ppx_hash_lib .Std.Hash.state
val hash_generic_param : generic_param -> Ppx_hash_lib .Std.Hash.hash_value
val pp_param :
Ppx_deriving_runtime .Format.formatter ->
param ->
Ppx_deriving_runtime .unit
val show_param : param -> Ppx_deriving_runtime .string
val pp_generics :
Ppx_deriving_runtime .Format.formatter ->
generics ->
Ppx_deriving_runtime .unit
val show_generics : generics -> Ppx_deriving_runtime .string
val pp_variant :
Ppx_deriving_runtime .Format.formatter ->
variant ->
Ppx_deriving_runtime .unit
val show_variant : variant -> Ppx_deriving_runtime .string
val pp_item' :
Ppx_deriving_runtime .Format.formatter ->
item' ->
Ppx_deriving_runtime .unit
val show_item' : item' -> Ppx_deriving_runtime .string
val pp_item :
Ppx_deriving_runtime .Format.formatter ->
item ->
Ppx_deriving_runtime .unit
val show_item : item -> Ppx_deriving_runtime .string
val pp_impl_item' :
Ppx_deriving_runtime .Format.formatter ->
impl_item' ->
Ppx_deriving_runtime .unit
val show_impl_item' : impl_item' -> Ppx_deriving_runtime .string
val pp_impl_item :
Ppx_deriving_runtime .Format.formatter ->
impl_item ->
Ppx_deriving_runtime .unit
val show_impl_item : impl_item -> Ppx_deriving_runtime .string
val pp_trait_item' :
Ppx_deriving_runtime .Format.formatter ->
trait_item' ->
Ppx_deriving_runtime .unit
val show_trait_item' : trait_item' -> Ppx_deriving_runtime .string
val pp_trait_item :
Ppx_deriving_runtime .Format.formatter ->
trait_item ->
Ppx_deriving_runtime .unit
val show_trait_item : trait_item -> Ppx_deriving_runtime .string
val equal_param : param -> param -> Ppx_deriving_runtime .bool
val equal_item' : item' -> item' -> Ppx_deriving_runtime .bool
val equal_item : item -> item -> Ppx_deriving_runtime .bool
val param_of_yojson : Yojson .Safe.t -> param
val generics_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> generics
val variant_of_yojson : Yojson .Safe.t -> variant
val item'_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> item'
val item_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> item
val impl_item'_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> impl_item'
val impl_item_of_yojson : Yojson .Safe.t -> impl_item
val trait_item'_of_yojson : Ppx_yojson_conv_lib .Yojson.Safe.t -> trait_item'
val trait_item_of_yojson : Yojson .Safe.t -> trait_item
val yojson_of_param : param -> Yojson .Safe.t
val yojson_of_generics : generics -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_variant : variant -> Yojson .Safe.t
val yojson_of_item' : item' -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_item : item -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_impl_item' : impl_item' -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_impl_item : impl_item -> Yojson .Safe.t
val yojson_of_trait_item' : trait_item' -> Ppx_yojson_conv_lib .Yojson.Safe.t
val yojson_of_trait_item : trait_item -> Yojson .Safe.t
val param_of_sexp : Sexplib0 .Sexp.t -> param
val generics_of_sexp : Sexplib0__ .Sexp.t -> generics
val variant_of_sexp : Sexplib0 .Sexp.t -> variant
val item'_of_sexp : Sexplib0__ .Sexp.t -> item'
val item_of_sexp : Sexplib0 .Sexp.t -> item
val impl_item'_of_sexp : Sexplib0__ .Sexp.t -> impl_item'
val impl_item_of_sexp : Sexplib0 .Sexp.t -> impl_item
val trait_item'_of_sexp : Sexplib0__ .Sexp.t -> trait_item'
val trait_item_of_sexp : Sexplib0 .Sexp.t -> trait_item
val sexp_of_param : param -> Sexplib0 .Sexp.t
val sexp_of_generics : generics -> Sexplib0 .Sexp.t
val sexp_of_variant : variant -> Sexplib0 .Sexp.t
val sexp_of_item' : item' -> Sexplib0 .Sexp.t
val sexp_of_item : item -> Sexplib0 .Sexp.t
val sexp_of_impl_item' : impl_item' -> Sexplib0 .Sexp.t
val sexp_of_impl_item : impl_item -> Sexplib0 .Sexp.t
val sexp_of_trait_item' : trait_item' -> Sexplib0 .Sexp.t
val sexp_of_trait_item : trait_item -> Sexplib0 .Sexp.t
val hash_fold_param :
Base__ .Ppx_hash_lib.Std.Hash.state ->
param ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_generics :
Ppx_hash_lib .Std.Hash.state ->
generics ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_variant :
Base__ .Ppx_hash_lib.Std.Hash.state ->
variant ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_item' :
Ppx_hash_lib .Std.Hash.state ->
item' ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_item :
Ppx_hash_lib .Std.Hash.state ->
item ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_impl_item' :
Ppx_hash_lib .Std.Hash.state ->
impl_item' ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_impl_item :
Base__ .Ppx_hash_lib.Std.Hash.state ->
impl_item ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_fold_trait_item' :
Ppx_hash_lib .Std.Hash.state ->
trait_item' ->
Ppx_hash_lib .Std.Hash.state
val hash_fold_trait_item :
Base__ .Ppx_hash_lib.Std.Hash.state ->
trait_item ->
Base__ .Ppx_hash_lib.Std.Hash.state
val hash_param : param -> Ppx_hash_lib .Std.Hash.hash_value
val hash_generics : generics -> Ppx_hash_lib .Std.Hash.hash_value
val hash_variant : variant -> Ppx_hash_lib .Std.Hash.hash_value
val hash_item' : item' -> Ppx_hash_lib .Std.Hash.hash_value
val hash_item : item -> Ppx_hash_lib .Std.Hash.hash_value
val hash_impl_item' : impl_item' -> Ppx_hash_lib .Std.Hash.hash_value
val hash_impl_item : impl_item -> Ppx_hash_lib .Std.Hash.hash_value
val hash_trait_item' : trait_item' -> Ppx_hash_lib .Std.Hash.hash_value
val hash_trait_item : trait_item -> Ppx_hash_lib .Std.Hash.hash_value
module Hoist : sig ... end