package progress

You can search for identifiers within the package.

in-package search v0.2.0

User-definable progress bars

Install

sha256=3dfd00bd4def773239159b17781d02fdbfd8ea191801681a94aa0a5be1d06b7c

sha512=fd64ff8a819b2db2460c06b7fbd5663e2a1941f9e2d4e9b921a3d5f24509fe3be543521fbe1bb6baedad9f62b579aae933efac3903db03a27385233f5461f09c

Sourcetype t = int64

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