package catala

  1. Overview
  2. Docs

Module Uid.ModuleSource

include Id with type info = MarkedString.info
Sourcetype t
Sourceval fresh : info -> t
Sourceval get_info : t -> info
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

Sourceval hash : t -> Hash.t

While id returns a unique ID valable for a given Uid instance within a given run of catala, this is a raw hash of the identifier string. Therefore, it may collide within a given program, but remains meaninful across separate compilations.

Sourcemodule Set : Set.S with type elt = t
Sourcemodule Map : Map.S with type key = t
Sourceval normalise : t -> t

Projects the module name to alphanumeric, for use in file names and backend's module names