Raito Bezarius on Nostr: nprofile1q…h7ucx so that's independent of the module system in that case, you don't ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq7xkgpdpy5aperha7elprzgej0vpzhc0ma80fn96re3zqjpv286rqkh7ucx (nprofile…7ucx) so that's independent of the module system
in that case, you don't really have good choices than to type A → B on f
you need to do:
f' = a:
assert (typeOf a) == "A";
assert (typeOf (f a)) == "B";
no?
in that case, you don't really have good choices than to type A → B on f
you need to do:
f' = a:
assert (typeOf a) == "A";
assert (typeOf (f a)) == "B";
no?