package catala

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

This module defines module names and path accesses, used to refer to separate compilation units.

type modname = string

Expected to be a uident (i.e. start with an uppercase letter)

type ident = string

Expected to be a lident (i.e. start with a lowercase letter)

type path = modname list
type t = path * ident
val compare_path : path -> path -> int
val equal_path : path -> path -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val format : Format.formatter -> t -> unit
module Set : Set.S with type elt = t
module Map : Map.S with type key = t