package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

md5=47338eaae436aba40abd4d194ee40054

sha256=499b050b73643f6ad7349a41485539d4166d149a07fba59cb6841f508c0297f8

sha512=6a5bf77061d390ddb331ed3d5891a5c56502be91f0eff6846202f658ebfa97ef57695d7a192cbdad4c7b8835f5665df3ea4375daf46930334ebbd9a07f00feca

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