sig
  type 'a lattice
  val __dynamic_type_lattice : Type.type_meta -> Type.type_meta
  val empty : unit -> 'a Lattice.lattice
  val replace : 'a Lattice.lattice -> Type.type_meta -> 'a -> unit
  val add : 'a Lattice.lattice -> Type.type_meta -> 'a -> unit
  val find : 'a Lattice.lattice -> Type.type_meta -> 'a
  val find_all : 'a Lattice.lattice -> Type.type_meta -> 'a list
  val find_most_specific : 'a Lattice.lattice -> Type.type_meta -> 'a list
  val find_all_most_specific :
    'a Lattice.lattice -> Type.type_meta -> 'a list list
  val find_most_specific_keys :
    'a Lattice.lattice -> Type.type_meta -> Type.type_meta list
end