Distinct Types
Certain programming languages, notably Odin, has a distinct types feature to allow for the creation of a new type with the same underlying semantics
My_Int :: distinct int
#assert(My_Int != int)
Certain programming languages, notably Odin, has a distinct types feature to allow for the creation of a new type with the same underlying semantics
My_Int :: distinct int
#assert(My_Int != int)