Module Expr.IdSource

Sourcetype 'a t = 'a id

The type of identifiers

Sourceval hash : 'a t -> int

Hash function.

Sourceval equal : 'a t -> 'b t -> bool

Equality function.

Sourceval compare : 'a t -> 'b t -> int

Comparison function.

Sourceval print : Format.formatter -> 'a t -> unit

Printing function

Sourceval tag : 'a t -> 'b Tag.t -> 'b -> unit

Add a tag to an identifier

Sourceval get_tag : 'a t -> 'b Tag.t -> 'b list

Get all the tags added to the identifier

Sourceval get_tag_last : 'a t -> 'b Tag.t -> 'b option

Get the last tag added to the identifier

Sourceval mk : ?builtin:builtin -> ?tags:Tag.map -> string -> 'a -> 'a t

Create a new fresh identifier

Sourceval const : ?pos:Pretty.pos -> ?name:string -> ?builtin:builtin -> ?tags:Tag.map -> ?ty_filters:Filter.ty_filter list -> ?term_filters:Filter.term_filter list -> string -> 'a t list -> 'b list -> 'b -> ('a, 'b) function_type t

Create a new function or type constructor identifier