Function fungi_lang::eval::proj_namespace_name
[−]
[src]
pub fn proj_namespace_name(n: NameTmVal) -> Option<NameTm>
project/pattern-match the name of namespace, defined as the sub-term M in the following nameterm (lambda) form:
#x.[M, x]
where [M, x] is the binary name formed from uknown name x and M, the name of the "namespace".