package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Library
Module
Module type
Parameter
Class
Class type
type namespace =
  1. | Sort
  2. | Term
  3. | Attr
  4. | Decl
  5. | Module of string
type t = {
  1. ns : namespace;
  2. name : string;
}
val sort : namespace
val term : namespace
val attr : namespace
val decl : namespace
val mod_name : string -> namespace
val hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
val mk : namespace -> string -> t
val full_name : t -> string
val pp : Buffer.t -> t -> unit
val print : Format.formatter -> t -> unit