fact: Definition buildInt (i : list symInt) : forall f, funInt f := fun f => lookup_dep (el := f) (@eq_symb_dec Sig) defaultIntForSymbol i.
imports: Coq(Program) CoLoR(LogicUtil OptUtil ATrs NaryFunction AInterpretation Proof ListUtil)