8.16.0.1
30 type-inference-helpers
| (require phc-toolkit/type-inference-helpers) | |
| package: phc-toolkit | |
type expander
(maybe-apply-type τ arg ...)
Expands to τ if there are no arguments, and to (τ arg ...)
if there is at least one argument.
30.1 Untyped versions of type-inference-helpers
| (require phc-toolkit/untyped/type-inference-helpers) | |
| package: phc-toolkit | |