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