← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-8/stdcompat__int.ml.in

  • Committer: Thierry Martinez
  • Date: 2019-08-20 13:37:04 UTC
  • Revision ID: git-v1:0214afad4a32c95349c2c5a38e37cea407c455d0
Update bundles

Show diffs side-by-side

added added

removed removed

Lines of Context:
bundles/stdcompat/stdcompat-8/stdcompat__int.ml.in
1
 
@BEGIN_FROM_4_08_0@
2
 
include Int
3
 
@END_FROM_4_08_0@
4
 
@BEGIN_BEFORE_4_08_0@
5
 
type t = int
6
 
let zero = 0
7
 
let one = 1
8
 
let minus_one = -1
9
 
external neg : int -> int = "%negint"
10
 
external add : int -> int -> int = "%addint"
11
 
external sub : int -> int -> int = "%subint"
12
 
external mul : int -> int -> int = "%mulint"
13
 
external div : int -> int -> int = "%divint"
14
 
external rem : int -> int -> int = "%modint"
15
 
external succ : int -> int = "%succint"
16
 
external pred : int -> int = "%predint"
17
 
let abs = abs
18
 
let max_int = max_int
19
 
let min_int = min_int
20
 
external logand : int -> int -> int = "%andint"
21
 
external logor : int -> int -> int = "%orint"
22
 
external logxor : int -> int -> int = "%xorint"
23
 
let lognot = lnot
24
 
external shift_left : int -> int -> int = "%lslint"
25
 
external shift_right : int -> int -> int = "%asrint"
26
 
external shift_right_logical : int -> int -> int = "%lsrint"
27
 
let equal = ( = )
28
 
let compare = compare
29
 
external to_float : int -> float = "%floatofint"
30
 
external of_float : float -> int = "%intoffloat"
31
 
let to_string = string_of_int
32
 
@END_BEFORE_4_08_0@