Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/he'hv/
`he'hv`
-
[H]om
[E]licit
,
[H]om
[V]oid
| precedence - 9
`he'hv`
:
into
i
(
Supertype
i
)
Standalone version of
he
operator.
It's an infix version of
unwrap
morphism.