Quote: create a type by creating three operators: 'seal' to assign a type, 'testseal' to test a type, and 'unseal' to reveal an object's implementation or to use its parent type

Note

One can create a type by creating three operators: 'testseal' tests if an object is of the type, 'seal' identifies an object with a type, 'unseal' reveals an object if it was sealed opaquely. A transparent type may be coerced into its type description [i.e., parent types].

Related Topics

Topic: data type by access rights (20 items)