let rec genSubTable (procl: proc list) (dect: dec_table) (table: proc_table) (ic: intermediateCode) = match procl with [] -> table | p::ps -> (genSub p dect table ic); genSubTable ps dect table ic