package catala

  1. Overview
  2. Docs
package catala
Legend:
Library
Module
Module type
Parameter
Class
Class type

Shortcut for creating a kind of uids over marked strings

Parameters

Signature

type t
type info = MarkedString.info
val fresh : info -> t
val get_info : t -> info
val compare : t -> t -> int
val equal : t -> t -> bool
val format_t : Stdlib.Format.formatter -> t -> unit
val hash : t -> int
module Set : Stdlib.Set.S with type elt = t
module Map : Stdlib.Map.S with type key = t