Variant
  •    
    {
    list
    (
    Variant
    •    
      { 
      α
       
      label
      , 
      β
       
      ty
       }
    • or 
      { 
      void
       
      ...
       }
    )
     
    TyRecord_row
    }
  • or 
    {
    void
     
    ...
    }
trec (
α
 
label
, 
β
 
ty)

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.