View source for ekfu

==== valsi ====
ekfu
==== type ====
fu'ivla
==== creator ====
[[personal/gleki|gleki]]
==== time entered ====
Thu Sep 19 17:50:39 2019
 
== English ==
=== Definition #71683 - Preferred ===
 
==== definition ====
x<sub>1</sub> is the return value of a function without body (with possibly more arguments)
==== notes ====
x<sub>1</sub> can be void. Two main interrelated usage cases: 1. wrapped into a sumti and used as a dummy predicate to fill in arguments of higher-order functions with stricter typing of its argument, for which [[ekfu|ekfu]] is used. Similar to the concept of object in object-oriented programming. 2. as type-signature template.
==== created by ====
[[personal/gleki|gleki]]
==== vote information ====
1
     
==== time ====
Thu Sep 19 18:14:10 2019



<br/><font size="+1">Examples</font>
<hr/>
<dl>
</dl>

=== Etymology ===