www

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

trees.mlish (166B)

      1 #lang s-exp "../../mlish.rkt"
      2 (require "../rackunit-typechecking.rkt")
      3 
      4 (define-type (Tree X)
      5   (Leaf X)
      6   (Node (Tree X) X (Tree X)))
      7 
      8 (provide-type Tree Leaf Node)