You can search for identifiers within the package.
in-package search v0.2.0
type sk = Bytes.t
type pk = Curve.t
type signature = {
r : Curve.t;
s : bool list;
}
type msg = Bytes.t
val point_of_compressed_bytes_opt : Bytes.t -> Curve.t option
val point_of_compressed_bytes_exn : Bytes.t -> Curve.t
val scalar_of_bytes_exn : Bytes.t -> bool list
val neuterize : sk -> pk
val sign : sk -> msg -> signature
val verify : msg -> pk -> signature -> bool