You can search for identifiers within the package.
in-package search v0.2.0
A MONOID only needs to be commutative with the empty element.
MONOID
empty
include Bastet.Interface.SEMIGROUP
include Bastet.Interface.MAGMA
type t
val append : t -> t -> t
val empty : t