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