let rec convertList (plist: param list) = match plist with [] -> [] | Par(id,t)::ps -> [Dec(id,Basic(t))]@convertList ps