Skip to main content

Browse the archive

swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
Raw File
Tip revision: 1f2995d75ab2b318a63186c5388e6d59ec701afe authored by Julien Tesson on 27 March 2024, 10:52:35 UTC
proto/tests: model down of a cycle activity count for next cycle
Tip revision: 1f2995d
main.ml 
open Api
open Ctypes

let add (x : int) (y : int) =
  let x_ptr = Uintptr.of_int x in
  let y_ptr = Uintptr.of_int y in
  let res = Functions.add x_ptr y_ptr in
  Uintptr.to_int res
back to top