我有一个用OCaml编写的解析器函数，然后我有一个输入文件是.xsd，输出是Coq格式。
我使用两个不同的输入（.xsd）测试了我的解析器，一个具有60.2KB大小，另一个具有121.0KB（大小）。我使用time来返回运行时间，结果如下：
xsd 60.2KB需要：user: 0m2.792s
xsd 121.0KB需要：user : 0m37.838s
显然，时间取决于输入文件的大小。
我有一个愚蠢的问题，只是想确保运行时间确实取决于输入文件的大小？
在我的解析函数中，我使用了很多函数结构，例如：
let genr_type b = function
| Elt (n, Some t, _, _) -> ...
| Group (n, Some t, _, _) -> ...
| ... -> ...
是否使解析器需要更多时间？ 非常感谢你