package lambdapi

  1. Overview
  2. Docs

Part of the Dedukti source file kernel/basic.ml.

type ident = string
val ident_eq : 'a -> 'b -> bool
type mident = string
module WS : sig ... end
val hash_ident : WS.t
val mk_ident : WS.data -> WS.data
val underscore : WS.data
val hash_mident : WS.t
val mk_mident : WS.data -> WS.data
OCaml

Innovation. Community. Security.