Module Uid.Deps

type kind =
  1. | Definition_to_declaration
  2. | Declaration_to_declaration
val clear : unit -> unit
val get : unit -> (kind * t * t) list
val record_declaration_dependency : (kind * t * t) -> unit