Source file mach__array__Array63Swap.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
(**************************************************************************)
(*                                                                        *)
(*  VOCaL -- A Verified OCaml Library                                     *)
(*                                                                        *)
(*  Copyright (c) 2018 The VOCaL Project                                  *)
(*                                                                        *)
(*  This software is free software, distributed under the MIT license     *)
(*  (as described in file LICENSE enclosed).                              *)
(**************************************************************************)

let swap (a: ('a array)) (i: int) (j: int) : unit =
  let v = a.(i) in begin a.(i) <- (a.(j)); a.(j) <- v end