package progress

You can search for identifiers within the package.

in-package search v0.2.0

User-definable progress bars

Install

sha256=7ae7f5c5a2db88107d0b3fd37d5344f066921270a3e74d56dd13457feb9e586e

sha512=3828ac568e447e5f1e59450ee48491c256d8bc77abe234190e14e2db5be7b81f379837083f0eb28ea9572fce2781fd0addd7adc1701947c0b2de9d8319ace042

Sourcetype t = int

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