package progress

You can search for identifiers within the package.

in-package search v0.2.0

User-definable progress bars

Install

sha256=8be449553379bb2dc5e8b79805c80447690a03dca3e9aee959fecf46d8278fb7

sha512=841383e8aa7d6bd802ced5eb7feae01bd507b2914eb45e8a559140677f83d5b8ec614f1d0bc54421021b5254a1edd78dd8a2506b2dfb264af72448d76bd03ac5

Sourcetype t = float

Sourceval zero : t

Sourceval one : t

Sourceval add : t -> t -> t

Sourceval sub : t -> t -> t

Sourceval equal : t -> t -> bool

Sourceval to_string : t -> string

Sourceval to_float : t -> float

Sourceval of_float : float -> t