Add comment to simple static contracts.
This commit is contained in:
parent
9bb66a9c58
commit
0be83b6c67
|
@ -1,6 +1,8 @@
|
|||
#lang racket/base
|
||||
|
||||
;; Static contracts that are terminal and have no sub parts.
|
||||
;; Unlike contracts defined with define-terminal-contract, equality of these contracts is based solely
|
||||
;; on identity. Thus they are most useful for contracts which have no meaningful structure.
|
||||
;; Ex: (flat/sc #'number?)
|
||||
|
||||
(require
|
||||
|
|
Loading…
Reference in New Issue
Block a user