lambdapi.parsing
Parsing.DkBasic
Part of the Dedukti source file kernel/basic.ml.
lambdapi.common
lambdapi.core
lambdapi.export
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.pure
lambdapi.tool
type ident = string
val ident_eq : 'a -> 'a -> 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