sig
  type t
  val __dynamic_type_t : Type.type_meta
  type runtime_type_meta
  exception Type_error of string Lazy.t
  val unsafe_to_dynamic : Type.type_meta -> 'a -> Dynamic.t
  val unsafe_to_static : Type.type_meta -> Dynamic.t -> 'a
  val has_type : Type.type_meta -> Dynamic.t -> bool
  val get_runtime_type : Dynamic.t -> Dynamic.runtime_type_meta
  val get_type : Dynamic.t -> Type.type_meta
  val apply : Dynamic.t -> Dynamic.t -> Dynamic.t
  val apply_l : Dynamic.t -> Dynamic.t list -> Dynamic.t
  exception Type_error' of string
  val display_type_error : ('a -> 'b) -> 'a -> 'b
  val incorrect_type_msg : string -> Type.type_meta -> Type.type_meta -> 'a
end