| 
|
Quote: a reference type conforms with a variable if it is a reference to the mode of the variable
topics >
all references >
references a-b >
Topic:
safe use of pointers
Topic:
using pointers in Thesa
Topic:
data type compatibility
Note
conformity n::v is true if mode of n is ref u where u is mode of v
Topic: safe use of pointers (102 items)
Topic: using pointers in Thesa (49 items)
Topic: data type compatibility (5 items)