package progress

You can search for identifiers within the package.

in-package search v0.2.0

User-definable progress bars

Install

sha256=3341c21923a21cd6b5b5cfa9ec3981f59572c367940fe5e02450533dfb4110b5

sha512=3edbe5ca6ea0bbc678b7dc4abe38bb4c3c4832de0144cc6e0791678712931fbaf2f7141196fca3fdc13a20777851cadcd165bf30c11d92193eecbd8f2d9dbf15

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