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