You can search for identifiers within the package.
in-package search v0.2.0
val sequence : ppr list -> ppr
for e1; e2; e3
e1; e2; e3
val if_then_else : ppr -> ppr -> ppr -> ppr
for if e1 then e2 else e3
if e1 then e2 else e3
val if_then : ppr -> ppr -> ppr
for if e1 then e2
if e1 then e2
val ty_as : ppr -> ppr -> ppr
for t as 'a
t as 'a
val tuple : ppr list -> ppr
for e1, e2, e3
e1, e2, e3
val (^->) : ppr -> ppr -> ppr
for t1 -> t2
t1 -> t2
val (+) : ppr -> ppr -> ppr
for e1 + e2
e1 + e2
val (-) : ppr -> ppr -> ppr
for e1 - e2
e1 - e2
val (*) : ppr -> ppr -> ppr
for e1 * e2
e1 * e2
val ty_tuple : ppr list -> ppr
for t1 * t2 * t3
t1 * t2 * t3
val uminus : ppr -> ppr
for - e
- e
val app : ppr -> ppr -> ppr
for e1 e2
e1 e2