package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

sha256=28f4c68127579b86c5f50e01e444e8c51f0543bc5472c2dcac28993bc88aa756

md5=0317493fa5cc1054a882ceca59ce5992

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