package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Module `Tool.Websearch`Source

val start : 
  header:string ->
  Core.Sig_state.sig_state ->
  port:int ->
  dbpath:string ->
  path_in_url:string ->
  unit ->
  unit