www

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

type-inference-helpers.scrbl (609B)

      1 #lang scribble/manual
      2 @require[racket/require
      3          "utils.rkt"
      4          @for-label[phc-toolkit/type-inference-helpers]]
      5 @title{type-inference-helpers}
      6 @author{@author+email["Suzanne Soy" "racket@suzanne.soy"]}
      7 @defmodule[phc-toolkit/type-inference-helpers
      8            #:use-sources
      9            [(submod (lib "phc-toolkit/type-inference-helpers.rkt") typed)]]
     10 
     11 @defform[#:kind "type expander"
     12          (maybe-apply-type τ arg ...)]{
     13  Expands to @racket[τ] if there are no arguments, and to @racket[(τ arg ...)]
     14  if there is at least one argument. }
     15 
     16 @include-section{type-inference-helpers-untyped.scrbl}