package catala

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

Identifiers have abstract types, but are comparable so they can be used as keys in maps or sets. Their underlying information can be retrieved at any time.

type t
type info
val fresh : info -> t
val get_info : t -> info
val compare : t -> t -> int
val format_t : Stdlib.Format.formatter -> t -> unit
val hash : t -> int
OCaml

Innovation. Community. Security.