This is too long for the paragraph, just separate it.
original commit: 1fd8f6c2c315a6ab1b374091bc8f3511b36d934c
This commit is contained in:
parent
18810e108a
commit
b6fc5b6d36
|
@ -381,8 +381,12 @@ assigned to @scheme[B]. Then @scheme[B] in each copy is
|
|||
replaced with the corresponding type from the sequence.
|
||||
|
||||
So the type of @scheme[(inst map Integer Boolean String Number)]
|
||||
is @scheme[((Boolean String Number -> Integer) (Listof Boolean)
|
||||
(Listof String) (Listof Number) -> (Listof Integer))].
|
||||
is
|
||||
|
||||
@scheme[((Boolean String Number -> Integer)
|
||||
(Listof Boolean) (Listof String) (Listof Number)
|
||||
->
|
||||
(Listof Integer))].
|
||||
|
||||
@section[#:tag "type-ref"]{Type Reference}
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user