You can search for identifiers within the package.
in-package search v0.2.0
type ('a, 'b) bijection = {
to_ : 'a -> 'b;
from : 'b -> 'a;
}
Bijection record
Bijection inversion
val flip : ('a, 'b) bijection -> ('b, 'a) bijection
val (%) : ('a, 'b) bijection -> ('c, 'a) bijection -> ('c, 'b) bijection
Bijection composition