package catala

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

Module Shared_ast.QidentSource

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

Sourcetype modname = string

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

Sourcetype ident = string

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

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

Innovation. Community. Security.