You can search for identifiers within the package.
in-package search v0.2.0
Strikethrough.
type inline := t
type t
The type for strikethrough.
val make : inline -> t
make i is i with a strikethrough.
make i
i
val inline : t -> inline
inline s is the inline with a strikethrough.
inline s