Module Common.Fun_kind

type synth_fn =
  1. | GenericDropInPlace
val compare_synth_fn : synth_fn -> synth_fn -> Ppx_deriving_runtime.int
val pp_synth_fn : Ppx_deriving_runtime.Format.formatter -> synth_fn -> Ppx_deriving_runtime.unit
val show_synth_fn : synth_fn -> Ppx_deriving_runtime.string
type t =
  1. | Real of Charon.Types.fun_decl_ref
  2. | Synthetic of synth_fn
val compare : t -> t -> Ppx_deriving_runtime.int
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string