Module cuneiform_lang

app(F::e(), ArgLst::[e_bind()]) -> e()

app(Info::info(), F::e(), ArgLst::[e_bind()]) -> e()

append(E1::e(), E2::e()) -> e()

append(Info::info(), E1::e(), E2::e()) -> e()

assign(R::r(), E::e()) -> assign()

assign(Info::info(), R::r(), E::e()) -> assign()

cmp(E1::e(), E2::e()) -> e()

cmp(Info::info(), E1::e(), E2::e()) -> e()

cnd(E1::e(), E2::e(), E3::e()) -> e()

cnd(Info::info(), E1::e(), E2::e(), E3::e()) -> e()

conj(E1::e(), E2::e()) -> e()

conj(Info::info(), E1::e(), E2::e()) -> e()

cons(T::t(), E1::e(), E2::e()) -> e()

cons(Info::info(), T::t(), E1::e(), E2::e()) -> e()

create_closure(AssignLst, EBody) -> {ok, e()} | {error, {ambiguous_name, info(), x()}}

• AssignLst = [assign()]
• EBody = e()

disj(E1::e(), E2::e()) -> e()

disj(Info::info(), E1::e(), E2::e()) -> e()

e_bind(X::x(), E::e()) -> e_bind()

err(T::t(), Msg::binary()) -> e()

err(Info::info(), T::t(), Msg::binary()) -> e()

false() -> e()

false(Info::info()) -> e()

file(S::s()) -> e()

file(Info::info(), S::s()) -> e()

file(Info::info(), S::s(), H::term()) -> e()

find_ambiguous(NameLst::[x()]) -> unambiguous | {ambiguous, x()}

fix(E::e()) -> e()

fix(Info::info(), E::e()) -> e()

fold(InitBind::e_bind(), LstBind::e_bind(), E::e()) -> e()

fold(Info, InitBind, LstBind, E) -> e()

• Info = info()
• InitBind = e_bind()
• LstBind = e_bind()
• E = e()

for(TRet::t(), ArgLst::[e_bind()], E::e()) -> e()

for(Info::info(), TRet::t(), ArgLst::[e_bind()], E::e()) -> e()

is_lst_literal(E::e()) -> boolean()

isnil(E::e()) -> e()

isnil(Info::info(), E::e()) -> e()

l_bash() -> l()

l_erlang() -> l()

l_java() -> l()

l_matlab() -> l()

l_octave() -> l()

l_perl() -> l()

l_python() -> l()

l_r() -> l()

l_racket() -> l()

lam_frn(FName, ArgLst, RetType, L, Body) -> e()

• FName = x()
• ArgLst = [t_arg()]
• RetType = t()
• L = l()
• Body = s()

lam_frn(Info, FName, ArgLst, RetType, L, Body) -> e()

• Info = info()
• FName = x()
• ArgLst = [t_arg()]
• RetType = t()
• L = l()
• Body = s()

lam_ntv(ArgLst::[lam_ntv_arg()], EBody::e()) -> e()

lam_ntv(Info::info(), ArgLst::[lam_ntv_arg()], EBody::e()) -> e()

lam_ntv_arg(X::x(), T::t()) -> lam_ntv_arg()

lst(T::t(), ELst::[e()]) -> e()

lst(Info::info(), T::t(), ELst::[e()]) -> e()

lst_literal_to_list(E) -> [e()]

• E = {cons, info(), t(), e(), e()} | {null, info(), t()}

lst_literal_type(E) -> t()

• E = {cons, info(), t(), e(), e()} | {null, info(), t()}

neg(E::e()) -> e()

neg(Info::info(), E::e()) -> e()

null(T::t()) -> e()

null(Info::info(), T::t()) -> e()

proj(X::x(), E::e()) -> e()

proj(Info::info(), X::x(), E::e()) -> e()

r_bind(X::x(), R::r()) -> r_bind()

r_rcd(RLst::[r_bind()]) -> r()

r_var(X::x(), T::t()) -> r()

rcd(ArgLst::[e_bind()]) -> e()

rcd(Info::info(), ArgLst::[e_bind()]) -> e()

str(S::s()) -> e()

str(Info::info(), S::s()) -> e()

t_arg(X::x(), T::t()) -> t_arg()

t_bool() -> t()

t_file() -> t()

t_fn(Tau::tau(), ArgLst::[t_arg()], TRet::t()) -> t()

t_lst(T::t()) -> t()

t_rcd(ArgLst::[t_arg()]) -> t()

t_str() -> t()

true() -> e()

true(Info::info()) -> e()

var(X::x()) -> e()

var(Info::info(), X::x()) -> e()