1
2
3
4
5
6
7
8
9
10
11
12

 


     type ('token, 'output) study =
        class      
            static member is_valid : (token : 'token) -> bool
            static member input_length : (token : 'token) -> int
            static member minimum_input_length : (token : 'token) -> int
            static member return_nothing : (token : 'token) -> bool
            static member compute : 'token -> int -> int -> 'output             
        end