package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type namespace
val sort : namespace
val term : namespace
val attr : namespace
val decl : namespace
val mod_name : string -> namespace
val mk : namespace -> string -> t