ProverTask.pattern
never fails
method get_after : ?offset:int -> int -> string
get_after ~offset:p k returns the end of the message starting p characters after the end of group k.
get_after ~offset:p k
p
k
method get_string : int -> string
method get_int : int -> int
method get_float : int -> float