Searched refs:SigIsFixedType (Results 1 – 5 of 5) sorted by relevance
192 for(i=0; SigIsFixedType(sig, term->f_code) && i < term->arity; i++) in TypeInferSort()
198 bool SigIsFixedType(Sig_p sig, FunCode f_code);
368 bool SigIsFixedType(Sig_p sig, FunCode f_code) in SigIsFixedType() function1261 if(SigIsFixedType(sig, f)) in SigDeclareType()
289 if(SigIsFixedType(bank->sig, res->f_code)) in tb_subterm_parse()
316 SigIsFixedType(bank->sig, lterm->f_code)) in eqn_parse_infix()