package dolmen

  1. Overview
  2. Docs
type t
type namespace
val term : namespace
val decl : namespace
val mk : namespace -> string -> t
OCaml

Innovation. Community. Security.