this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: [ "romain.calascibetta@gmail.com" ]
3authors: "Romain Calascibetta"
4license: "ISC"
5homepage: "https://github.com/dinosaure/optint"
6bug-reports: "https://github.com/dinosaure/optint/issues"
7dev-repo: "git+https://github.com/dinosaure/optint.git"
8doc: "https://dinosaure.github.io/optint/"
9
10build: [
11 ["jbuilder" "subst" "-p" name] {dev}
12 ["jbuilder" "build" "-p" name "-j" jobs]
13 ["jbuilder" "runtest" "-p" name] {with-test}
14]
15depends: [
16 "ocaml" {>= "4.03.0"}
17 "jbuilder" {>= "1.0+beta10"}
18]
19synopsis: "Abstract type on integer between x64 and x86 architecture"
20description: """
21This library provide one module `Optint` which use internally an `int` if you
22are in a x64 architecture or an `int32` (boxed value) if you are in a x86
23architecture. This module is __really__ unsafe and does not care some details
24(like the sign bit) for any cast.
25
26## Goal
27
28The main difference between an `int` and an `int32` is the second is boxed.
29About performance this is not the best. However, you can not ensure to be in an
30x64 architecture where you can use directly an `int` instead an `int32` (and
31improve performance).
32
33So, this library provide an abstraction about a real `int32`. In a x64
34architecture, internally, we use a `int` and in a x86 architure, we use a
35`int32`. By this way, we ensure to have in any platform 32 free bits in
36`Optint.t`."""
37url {
38 src:
39 "https://github.com/mirage/optint/releases/download/v0.0.1/optint-0.0.1.tbz"
40 checksum: [
41 "sha256=6503b283ae193adab2925eb74433a7ab20f1428b56b97eefe002fef887e325bf"
42 "md5=545d9c6b5b32fb0d8c3f671519a8a088"
43 ]
44}