Up – Package index » lambdapi » Library lambdapi.tool » Tool » Indexing

Module `Tool.Indexing`Source

Sourceval empty : unit -> unit

Sourceval load_rewriting_rules : string list -> unit

Sourceval index_sign : Core.Sign.t -> unit

Sourceval dump : dbpath:string -> unit -> unit

val search_cmd_txt : 
  Core.Sig_state.sig_state ->
  string ->
  dbpath:string ->
  string

val search_cmd_html : 
  Core.Sig_state.sig_state ->
  from:int ->
  how_many:int ->
  string ->
  dbpath:string ->
  string