Received: from [192.168.123.254] (port=55784 helo=jukni.digitalkingdom.org)
	by stodi.digitalkingdom.org with smtp (Exim 4.92)
	(envelope-from <apache@digitalkingdom.org>)
	id 1iB0Zk-0008BZ-Ds
	for jbovlaste-admin@lojban.org; Thu, 19 Sep 2019 10:50:43 -0700
Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Thu, 19 Sep 2019 10:50:40 -0700
From: "Apache" <apache@digitalkingdom.org>
To: gleki.is.my.name@gmail.com
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Added At Word ekfu -- By gleki
Date: Thu, 19 Sep 2019 10:50:40 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1iB0Zk-0008BZ-Ds@stodi.digitalkingdom.org>
X-Spam-Score: -2.9 (--)
X-Spam_score: -2.9
X-Spam_score_int: -28
X-Spam_bar: --



In jbovlaste, the user gleki has added a
definition of "ekfu" in the language "English".

New Data:

	Definition:
		$x_1$ is the return value of a function without body (with possibly more arguments)

	Notes:
		$x_1$ can be void. Used primarily to fill in arguments of higher-order functions and wrapped into a sumti. Also used as type-signature template.

	Jargon:
		

	Gloss Keywords:

	Place Keywords:




You can go to <http://jbovlaste.lojban.org/dict/ekfu> to see it.