You can search for identifiers within the package.
in-package search v0.2.0
Rule definition representation.
type t
Main type
val make : string -> Expr.t -> t
Constructor of simple definition. Takes name and body.
val makeP : string -> string list -> Expr.t -> t
Constructor of parameterized definition. Takes name, argument name list and body.
val toTeX : t -> string
TeX printer.