package saltoIL

  1. Overview
  2. Docs

Module Term.FV

Module that defines the data structure for free variables

type flag =
  1. | Free
  2. | Alias
type t
val compare : t -> t -> int
val equal : t -> t -> bool
val hash_fold : Base.Hash.state -> t -> Base.Hash.state
val empty : t
val is_empty : t -> bool
val subset : t -> t -> bool
val union : t -> t -> t
val inter : t -> t -> t
val add_id : flag -> Salto_id.Id.t -> t -> t
val remove_id : Salto_id.Id.t -> t -> t
val is_free : 'a Salto_id.Path.t -> t -> bool
val diff : t -> t -> t
val pp : Format.formatter -> t -> unit
val restrict_env : init:('a -> 'b) -> add:(flag -> string -> 'a -> 'b -> 'b) -> proj:(flag -> string -> 'a -> 'a) -> make:('b -> 'a) -> t -> 'a Salto_id.Salto_env.t -> 'a Salto_id.Salto_env.t