You can search for identifiers within the package.
in-package search v0.2.0
Program builder.
type t
Initializes an empty builder.
val create : ?tid:tid -> ?subs:int -> unit -> t
val add_sub : t -> sub term -> unit
add_sub builder sub appends a subroutine term to the program.
add_sub builder sub
val result : t -> program term
fixes the result