package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Source file `tool.ml`

1
2
3
4
5
6
7
8
9
10
(* generated by dune *)

(** @canonical Tool.External *)
module External = Tool__External

(** @canonical Tool.Sr *)
module Sr = Tool__Sr

(** @canonical Tool.Tree_graphviz *)
module Tree_graphviz = Tool__Tree_graphviz