Class type ProverTask.pattern

class type pattern = object .. end
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.
method get_string : int -> string
method get_int : int -> int
method get_float : int -> float