1///|
2extern "c" fn pointer_add(
3  ptr : 
type ConstPtr[T]
ConstPtr
[
Byte
Byte
],
4 offset :
Int64
Int64
5) ->
type ConstPtr[T]
ConstPtr
[
Byte
Byte
] = "moonbit_native_pointer_add"
6 7///| 8extern "c" fn pointer_sub( 9 ptr :
type ConstPtr[T]
ConstPtr
[
Byte
Byte
],
10 other :
type ConstPtr[T]
ConstPtr
[
Byte
Byte
]
11) ->
Int64
Int64
= "moonbit_native_pointer_sub"
12 13///| 14pub extern "c" fn
type CStr ConstPtr[Byte]
CStr
::to_bytes(self :
type CStr ConstPtr[Byte]
CStr
) ->
Bytes
Bytes
= "moonbit_native_cstring_to_bytes"
15 16///| 17extern "c" fn byte_pointer_get(ptr :
type ConstPtr[T]
ConstPtr
[
Byte
Byte
]) ->
Byte
Byte
= "moonbit_native_uint8_pointer_get"
18 19///| 20extern "c" fn int16_pointer_get(ptr :
type ConstPtr[T]
ConstPtr
[
Int16
Int16
]) ->
Int16
Int16
= "moonbit_native_int16_pointer_get"
21 22///| 23extern "c" fn int32_pointer_get(ptr :
type ConstPtr[T]
ConstPtr
[
Int
Int
]) ->
Int
Int
= "moonbit_native_int32_pointer_get"
24 25///| 26extern "c" fn int64_pointer_get(ptr :
type ConstPtr[T]
ConstPtr
[
Int64
Int64
]) ->
Int64
Int64
= "moonbit_native_int64_pointer_get"
27 28///| 29extern "c" fn uint16_pointer_get(ptr :
type ConstPtr[T]
ConstPtr
[
UInt16
UInt16
]) ->
UInt16
UInt16
= "moonbit_native_uint16_pointer_get"
30 31///| 32extern "c" fn uint32_pointer_get(ptr :
type ConstPtr[T]
ConstPtr
[
UInt
UInt
]) ->
UInt
UInt
= "moonbit_native_uint32_pointer_get"
33 34///| 35extern "c" fn uint64_pointer_get(ptr :
type ConstPtr[T]
ConstPtr
[
UInt64
UInt64
]) ->
UInt64
UInt64
= "moonbit_native_uint64_pointer_get"
36 37///| 38extern "c" fn float_pointer_get(ptr :
type ConstPtr[T]
ConstPtr
[
Float
Float
]) ->
Float
Float
= "moonbit_native_float_pointer_get"
39 40///| 41extern "c" fn double_pointer_get(ptr :
type ConstPtr[T]
ConstPtr
[
Double
Double
]) ->
Double
Double
= "moonbit_native_double_pointer_get"
42 43///| 44extern "c" fn uint32_pointer_set(ptr :
type Ptr[T]
Ptr
[
UInt
UInt
], x :
UInt
UInt
) = "moonbit_native_uint32_pointer_set"
45 46///| 47extern "c" fn uint64_pointer_set(ptr :
type Ptr[T]
Ptr
[
UInt64
UInt64
], x :
UInt64
UInt64
) = "moonbit_native_uint64_pointer_set"
48 49///| 50extern "c" fn byte_pointer_set(ptr :
type Ptr[T]
Ptr
[
Byte
Byte
], x :
Byte
Byte
) = "moonbit_native_uint8_pointer_set"
51 52///| 53extern "c" fn int16_pointer_set(ptr :
type Ptr[T]
Ptr
[
Int16
Int16
], x :
Int16
Int16
) = "moonbit_native_int16_pointer_set"
54 55///| 56extern "c" fn int32_pointer_set(ptr :
type Ptr[T]
Ptr
[
Int
Int
], x :
Int
Int
) = "moonbit_native_int32_pointer_set"
57 58///| 59extern "c" fn int64_pointer_set(ptr :
type Ptr[T]
Ptr
[
Int64
Int64
], x :
Int64
Int64
) = "moonbit_native_int64_pointer_set"
60 61///| 62extern "c" fn uint16_pointer_set(ptr :
type Ptr[T]
Ptr
[
UInt16
UInt16
], x :
UInt16
UInt16
) = "moonbit_native_uint16_pointer_set"
63 64///| 65extern "c" fn float_pointer_set(ptr :
type Ptr[T]
Ptr
[
Float
Float
], x :
Float
Float
) = "moonbit_native_float_pointer_set"
66 67///| 68extern "c" fn double_pointer_set(ptr :
type Ptr[T]
Ptr
[
Double
Double
], x :
Double
Double
) = "moonbit_native_double_pointer_set"
69 70///| 71extern "c" fn _null_pointer() ->
type ConstPtr[T]
ConstPtr
[
Unit
Unit
] = "moonbit_native_null_pointer"
72