Null

The type "null" is an immutable type with a single object, denoted by the literal "nil". It is used primarily as a placeholder in a "oneof" to handle the ``empty'' case.

Methods for type "null"

  equal (n: null) returns (bool)
      % effects   returns true

  similar (n: null) returns (bool)
      % effects   returns true

  copy ( ) returns (null)
      % effects   returns nil

  unparse ( ) returns (string)
      % effects   returns the three-character string ``nil''

theta-questions@lcs.mit.edu