Function fungi_lang::dynamics::proj_namespace_name

source · 
pub fn proj_namespace_name(n: NameTmVal) -> Option<NameTm>
Expand description

project/pattern-match the name of namespace, defined as the sub-term M in the following nameterm (lambda) form:

 #x:Nm. M * x

where M * x is the binary name formed from uknown name x and M, the name of the “namespace”.