Library zoo_std.atomic_array__code

Require Import zoo.prelude.
Require Import zoo.language.typeclasses.
Require Import zoo.language.notations.
Require Import zoo_std.array.
Require Import zoo.options.

Definition atomic_array٠make : val :=
  array٠make.

Definition atomic_array٠init : val :=
  array٠init.

Definition atomic_array٠initi : val :=
  array٠initi.

Definition atomic_array٠size : val :=
  array٠size.

Definition atomic_array٠unsafe_get : val :=
  array٠unsafe_get.

Definition atomic_array٠get : val :=
  array٠get.

Definition atomic_array٠unsafe_set : val :=
  array٠unsafe_set.

Definition atomic_array٠set : val :=
  array٠set.

Definition atomic_array٠unsafe_xchg : val :=
  array٠unsafe_xchg.

Definition atomic_array٠unsafe_cas : val :=
  array٠unsafe_cas.

Definition atomic_array٠unsafe_faa : val :=
  array٠unsafe_faa.

Definition atomic_array٠foldli : val :=
  array٠foldli.

Definition atomic_array٠foldl : val :=
  array٠foldl.

Definition atomic_array٠sum : val :=
  array٠sum.