You can search for identifiers within the package.
in-package search v0.2.0
preface.make
Infix.Core
type t
the type held by the Semigroup.
Semigroup
val combine : t -> t -> t
combine x y Combine two values (x and y) of t into one.
combine x y
x
y
t