let get_paraminfo funcname paramname =
  try
    Hashtbl.find paraminfos (funcname,paramname)
  with _ -> raise_error ("Parameter '"^paramname^"' not declared for function '"^funcname^"'.")