Hoon type

Implementation

++  type  $|  ?(%noun %void)                            ::
          $%  [%atom p=term]                            ::
              [%cell p=type q=type]                     ::
              [%core p=type q=coil]                     ::
              [%cube p=* q=type]                        ::
              [%face p=term q=type]                     ::
              [%fork p=type q=type]                     ::
              [%hold p=(list ,[p=type q=gene])]         ::
          ==                                            ::

Comments

---

---

Parts of this document are generated automatically. Edits within the comments section will be preserved.