ekfu

valsi

ekfu

type

fu'ivla

creator

gleki

time entered

Thu Sep 19 17:50:39 2019  

English

Definition #71683 - Preferred

 

definition

x₁ is the return value of a function without body (with possibly more arguments)

notes

x₁ 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 is used. Similar to the concept of object in object-oriented programming. 2. as type-signature template.

created by

gleki

vote information

1

time

Thu Sep 19 18:14:10 2019

Examples

---