Module `Token.TokenMap`Source

Sourcetype +'a t

Sourceval bottom : 'a t

Sourceval top : 'a t

Sourceval singleton : token -> 'a -> 'a t

Sourceval is_bottom : 'a Lattice.lattice -> 'a t -> bool

Sourceval is_empty : 'a t -> bool

Sourceval is_singleton : 'a t -> bool

Sourceval is_top : 'a Lattice.lattice -> 'a t -> bool

Sourceval subset : 'a Lattice.lattice -> 'a Context.ctx -> 'a t -> 'a t -> bool

Sourceval join : 'a Lattice.lattice -> 'a Context.ctx -> 'a t -> 'a t -> 'a t

Sourceval join_list : 'a Lattice.lattice -> 'a Context.ctx -> 'a t list -> 'a t

Sourceval meet : 'a Lattice.lattice -> 'a Context.ctx -> 'a t -> 'a t -> 'a t

Sourceval meet_list : 'a Lattice.lattice -> 'a Context.ctx -> 'a t list -> 'a t

Sourceval widen : 'a Lattice.lattice -> 'a Context.ctx -> 'a t -> 'a t -> 'a t

Sourceval print : (Print.printer -> 'a -> unit) -> Print.printer -> 'a t -> unit

Sourceval mem : token -> 'a t -> bool

Sourceval find : token -> 'a t -> 'a

Sourceval find_opt : token -> 'a t -> 'a option

Sourceval get : token -> 'a Lattice.lattice -> 'a t -> 'a

Sourceval set : token -> 'a -> 'a Lattice.lattice -> 'a t -> 'a t

Sourceval copy : token -> token -> 'a Lattice.lattice -> 'a t -> 'a t -> 'a t

Sourceval remove : token -> 'a t -> 'a t

Sourceval filter : (token -> 'a -> bool) -> 'a t -> 'a t

Sourceval partition : (token -> 'a -> bool) -> 'a t -> 'a t * 'a t

Sourceval map : (token -> 'a -> 'b) -> 'a t -> 'b t

Sourceval fold : ('b -> token -> 'a -> 'b) -> 'b -> 'a t -> 'b

Sourceval iter : (token -> 'a -> unit) -> 'a t -> unit

val merge : 
  (token -> 'a option -> 'a option -> 'a option) ->
  'a Lattice.lattice ->
  'a t ->
  'a t ->
  'a t

val map2zo : 
  (token -> 'a -> 'a) ->
  (token -> 'a -> 'a) ->
  (token -> 'a -> 'a -> 'a) ->
  'a t ->
  'a t ->
  'a t

Sourceval neutral2 : (token -> 'a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t

Sourceval absorb2 : (token -> 'a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t

Install