On this page:
maybe-apply-type
30.1 Untyped versions of type-inference-helpers
7.1

30 type-inference-helpers

Georges Dupéron <[email protected]>

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