lambdapi.tool
Tool.Indexing
lambdapi.common
lambdapi.core
lambdapi.export
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.parsing
lambdapi.pure
val empty : unit -> unit
val index_sign : rules:string list -> Core.Sign.t -> unit
val dump : unit -> unit
val search_cmd_txt : string -> string
val search_cmd_html : string -> string