T : sig ... end
val parse : ?parse_pos:Parse_pos.t ‑> ?len:int ‑> T.input ‑> (T.input, T.output) parse_result