www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

adt-row-v.scrbl (412B)

      1 #lang scribble/manual
      2 
      3 @require["util.rkt"
      4          "adt-utils.rkt"
      5          (for-label (only-meta-in 0 typed/racket))]
      6 @(use-mathjax)
      7 
      8 @title[#:style (with-html5 manual-doc-style)
      9        #:version (version-text)]{Values (with ρ)}
     10 
     11 @cases["v" #:first-sep "⩴"
     12        @acase{…}
     13        @acase{@ctorv[@κ v]@tag*{constructor instance}}
     14        @acase{@recordv[@repeated{@|ɐ|ᵢ = vᵢ}]@tag*{record instance}}]