You can search for identifiers within the package.
in-package search v0.2.0
Rounding modes.
type t
an abstract type denoting a Core Theory rounding mode term.
type exp
the type for representing rounding modes in the target language.
val error : t
an ill-formed rounding mode term.
val rne : t
rne is rne.
rne
val rtz : t
rtz is rtz.
rtz
val rtp : t
rtp is rtp.
rtp
val rtn : t
rtn is trp.
rtn
trp
val rna : t
rna is rna.
rna