Mir.VariableDict
type key = variable_id
type elt = variable
type t
val bindings : t -> (key * elt) list
val add : elt -> t -> t
val empty : t
val find : key -> t -> elt
val find_opt : key -> t -> elt option
val mem : elt -> t -> bool
val union : t -> t -> t
val inter : t -> t -> t
val fold : ( elt -> 'b -> 'b ) -> t -> 'b -> 'b
val singleton : elt -> t
val filter : ( key -> elt -> bool ) -> t -> t
val for_all : ( elt -> bool ) -> t -> bool