sig
  val dynamic_equal : Dynamic.t -> Dynamic.t -> bool
  val register : Dynamic.t -> unit
  val register_std_types : unit -> unit
end