package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

sha256=222f8ac131b1d970dab7eeb2714bfd6b9338b88b1082e6e01c136ae19e7eaef4

sha512=c9e6d93e3d21e5530c0f4d5baca51bf1f0a5d19248f8af7678d0665bb5cdf295d7aaaaa3e50eb2e44b8720e55097cc675af4dc8ec45acf9da39feb3eae1405d5

Sourcetype t = int

Sourceval compare : int -> int -> int

Sourceval equal : int -> int -> bool

Sourceval to_int : t -> int

Sourceval of_int : int -> t

Sourceval of_string : string -> int

Sourceval to_string : int -> string

Sourceval add : int -> int -> int

Sourceval zero : int

Sourceval mul : int -> int -> int

Sourceval neg : int -> int

Sourceval min : int -> int -> int

Sourceval max : int -> int -> int