Differences

This shows you the differences between two versions of the page.

--- at:tutorial:appendix [2021/09/24 10:25] – [Ambient References] elisag
+++ at:tutorial:appendix [2021/09/24 10:25] – [Structural Types] elisag
@@ Line 573: / Line 573: @@
 Ambient references ship with two so-called "implementation modules": the module ''/.at.ambient.ar_extensional_impl'' and the module ''/.at.m2mi.ar_intensional_impl''. By default, the extensional implementation is used, but this can be changed by passing the desired implementation module as a parameter to the ''/.at.lang.ambientrefs'' module.
-==== Structural Types ====
+===== Structural Types =====
 The module ''/.at.lang.structuraltypes'' implements a small library to use structural typing. The library allows for the creation of 'protocols', which are first-class structural types. A structural type is simply a set of selectors. An object o conforms to a protocol P <=> for all selectors s of P, o respondsTo s where respondsTo is determined by o's mirror.