You can search for identifiers within the package.
in-package search v0.2.0
smol
Smol
module Algebra : sig ... end
module Literal : sig ... end
module Matrix : sig ... end
module Monomial : sig ... end
Monomials are sets of literals with non-negative integer exponents. They form a monoid with respect to their multiplication.
module Polynomial : sig ... end
module Vector : sig ... end