diff options
| author | Xander <xander@biltopia.org> | 2023-08-20 22:57:07 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-08-20 23:03:17 +0200 |
| commit | 70cca66089896730797a71ba545c7f4e87b12975 (patch) | |
| tree | 167a22d505b32bf80bd8b432833e12a74a98941b /kernel/prelude | |
| parent | 7fce269442cb37810a14d088ea4a61d040ec3066 (diff) | |
| download | ats-os-70cca66089896730797a71ba545c7f4e87b12975.tar.xz ats-os-70cca66089896730797a71ba545c7f4e87b12975.zip | |
Diffstat (limited to 'kernel/prelude')
| -rw-r--r-- | kernel/prelude/SATS/safe_casts.sats | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/prelude/SATS/safe_casts.sats b/kernel/prelude/SATS/safe_casts.sats index 8850ef6..f93a2be 100644 --- a/kernel/prelude/SATS/safe_casts.sats +++ b/kernel/prelude/SATS/safe_casts.sats @@ -10,3 +10,4 @@ castfn ulint_to_Ptr0(v : ulint):<> Ptr0 castfn sz_to_Ptr0(v : size_t):<> Ptr0 castfn Ptr1_to_sz(v : Ptr1):<> sizeGte(1) +castfn Ptr0_to_sz(v : Ptr0):<> size_t |