package elpi

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

Module Ast.NameSource

Sourcetype t
Sourceval pp : Format.formatter -> t -> unit
Sourceval show : t -> string
Sourcemodule Set : sig ... end
Sourcemodule Map : sig ... end
Sourceval from_string : string -> t
Sourcetype constant = int
Sourceval is_global : t -> int -> bool