package catala

You can search for identifiers within the package.

in-package search v0.2.0

Module `Shared_ast.TopdefName`Source

Sourcetype t

Sourcetype info = Catala_utils__Uid.Module.t list * string Catala_utils.Mark.pos

Sourceval map_info : (info -> info) -> t -> t

Sourceval compare : t -> t -> int

Sourceval equal : t -> t -> bool

Sourceval format : Format.formatter -> t -> unit

Sourceval to_string : t -> string

Sourceval id : t -> int

Returns the unique ID of the identifier

Sourcemodule Set : Set.S with type elt = t

Sourcemodule Map : Catala_utils.Map.S with type key = t

val fresh : 
  Catala_utils__Uid.Module.t list ->
  string Catala_utils.Mark.pos ->
  t

Sourceval path : t -> Catala_utils__Uid.Module.t list

Sourceval get_info : t -> string Catala_utils.Mark.pos

Sourceval base : t -> string

Returns only the base ident name, while to_string includes the path prefix

Sourceval hash : strip:Catala_utils__Uid.Module.t option -> t -> Catala_utils.Hash.t

strip strips any path up to that module from the start of the path before hashing

Sourceval format_shortpath : Format.formatter -> t -> unit

Like format, but prints only the last path member (if any) instead of the full path