safe_casts.sats « SATS « prelude « kernel - ats-os - An attempt to create an operation system in ats-lang.

about summary refs log tree commit diff

path: root/kernel/prelude/SATS/safe_casts.sats

blob: 50a68a8d96a97585f453202f40334ce0ae722867 (plain)

1	`castfn u2uint64{v : nat \| v <= 0xFFFFFFFFFFFFFFFF}(v : uint v) : uint64 v`