Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Ostap : sig ... end
val keyword :
Stdlib.String.t ->
< regexp :
'b. Stdlib.String.t ->
Stdlib.String.t ->
('alook -> 'd -> ('d, 'b, 'c) Types_.result) ->
('d, 'b, 'c) Types_.result.. > as 'a ->
('alook -> 'd -> ('d, 'e, 'c) Types_.result) ->
('d, 'e, 'c) Types_.result
val (~$) :
Stdlib.String.t ->
< regexp :
'b. Stdlib.String.t ->
Stdlib.String.t ->
('c -> 'a -> ('a, 'b, 'd) Types_.result) ->
('a, 'b, 'd) Types_.result.. > as 'a ->
('c -> 'a -> ('a, 'e, 'd) Types_.result) ->
('a, 'e, 'd) Types_.result
val listByWith :
(< equal : 'a -> bool.. > as 'a ->
('b -> < equal : 'c -> bool.. > as 'c -> ('d * 'c, 'e) Types_.tag) ->
('a, 'f, < add : 'g -> 'g.. > as 'g) Types_.result) ->
('c -> ('h -> 'a -> ('f * 'a, 'g) Types_.tag) -> ('d * 'c, 'e) Types_.tag) ->
('h -> 'h -> 'h) ->
'i ->
'j ->
('h -> 'a -> ('f * 'a, 'g) Types_.tag) ->
('d * 'c, 'e) Types_.tag
val listBy :
(< equal : 'a -> bool.. > as 'a ->
('b -> < equal : 'c -> bool.. > as 'c -> ('d * 'c, 'e) Types_.tag) ->
('a, 'f, < add : 'g -> 'g.. > as 'g) Types_.result) ->
('c -> ('h, 'a, 'f, 'g) Types_.k -> ('d * 'c, 'e) Types_.tag) ->
'i ->
('h list -> 'a -> ('f * 'a, 'g) Types_.tag) ->
('d * 'c, 'e) Types_.tag
val list1By :
(< equal : 'a -> bool.. > as 'a ->
('b -> < equal : 'c -> bool.. > as 'c -> ('d * 'c, 'e) Types_.tag) ->
('a, 'f, < add : 'g -> 'g.. > as 'g) Types_.result) ->
('c -> ('h, 'a, 'f, 'g) Types_.k -> ('d * 'c, 'e) Types_.tag) ->
'i ->
('h list -> 'a -> ('f * 'a, 'g) Types_.tag) ->
('d * 'c, 'e) Types_.tag
val listWith :
(< equal : 'a -> bool
; look :
'b. Stdlib.String.t ->
('alook -> 'c -> ('c, 'b, < add : 'e -> 'e.. > as 'd) Types_.result) ->
('c, 'b, 'd) Types_.result.. > as 'a ->
('f -> 'g -> ('h * 'g, 'e) Types_.tag) ->
('h * 'a, 'i) Types_.tag) ->
('f -> 'f -> 'f) ->
'j ->
'k ->
('f -> 'g -> ('h * 'g, 'e) Types_.tag) ->
('h * 'a, 'i) Types_.tag
val list :
(< equal : 'a -> bool
; look :
'b. Stdlib.String.t ->
('alook -> 'c -> ('c, 'b, < add : 'e -> 'e.. > as 'd) Types_.result) ->
('c, 'b, 'd) Types_.result.. > as 'a ->
('f, 'g, 'h, 'e) Types_.k ->
('h * 'a, 'i) Types_.tag) ->
'a ->
('f list -> 'g -> ('h * 'g, 'e) Types_.tag) ->
('h * 'a, 'i) Types_.tag
val list0ByWith :
(< equal : 'a -> bool.. > as 'a ->
('b -> 'a -> ('c * 'a, < add : 'd -> 'd.. > as 'd) Types_.tag) ->
('a, 'c, 'd) Types_.result) ->
('a -> ('e -> 'a -> ('c * 'a, 'd) Types_.tag) -> ('c * 'a, 'd) Types_.tag) ->
('e -> 'e -> 'e) ->
'f ->
'g ->
('e, 'a, 'c, 'd) Types_.K.t ->
('c * 'a, 'd) Types_.tag
val list0By :
(< equal : 'a -> bool.. > as 'a ->
('b -> 'a -> ('c * 'a, < add : 'd -> 'd.. > as 'd) Types_.tag) ->
('a, 'c, 'd) Types_.result) ->
('a -> ('e, 'a, 'c, 'd) Types_.k -> ('c * 'a, 'd) Types_.tag) ->
'f ->
('e list, 'a, 'c, 'd) Types_.K.t ->
('c * 'a, 'd) Types_.tag
val list0With :
(< equal : 'a -> bool
; look :
'b. Stdlib.String.t ->
('alook -> 'c -> ('c, 'b, < add : 'e -> 'e.. > as 'd) Types_.result) ->
('c, 'b, 'd) Types_.result.. > as 'a ->
('f -> 'a -> ('g * 'a, 'e) Types_.tag) ->
('g * 'a, 'e) Types_.tag) ->
('f -> 'f -> 'f) ->
'h ->
'i ->
('f, 'a, 'g, 'e) Types_.K.t ->
('g * 'a, 'e) Types_.tag
val list0 :
(< equal : 'a -> bool
; look :
'b. Stdlib.String.t ->
('alook -> 'c -> ('c, 'b, < add : 'e -> 'e.. > as 'd) Types_.result) ->
('c, 'b, 'd) Types_.result.. > as 'a ->
('f, 'a, 'g, 'e) Types_.k ->
('g * 'a, 'e) Types_.tag) ->
'a ->
('f list, 'a, 'g, 'e) Types_.K.t ->
('g * 'a, 'e) Types_.tag
val expr :
((< equal : 'a -> bool.. > as 'a ->
('b, 'a, 'c, < add : 'd -> 'd.. > as 'd) Types_.K.t ->
('c * 'a, 'd) Types_.tag) ->
'e ->
('f -> 'g -> ('h * 'i, 'j) Types_.tag) ->
('k * 'l, 'm) Types_.tag) ->
([< `Lefta | `Nona | `Righta Nona ]
* (('n ->
('o -> 'p -> ('q * 'r, 's) Types_.tag) ->
('t, 'u, 'v) Types_.result)
* ('w ->
'x ->
'w))
list)
array ->
('y ->
('z -> 'a1 -> ('b1 * 'c1, 'd1) Types_.tag) ->
('c * 'a, 'e1) Types_.tag) ->
'f1 ->
('f -> 'g -> ('h * 'i, 'j) Types_.tag) ->
('k * 'l, 'm) Types_.tag
module Lexers : sig ... end
val parse :
'a ->
('b ->
('c -> 'd -> ('e * 'f, 'g) Types_.tag) ->
('h * 'i,
< retrieve :
[> `First of int ] ->
[> `Desc ] ->
(Msg.Locator.t * [< `Comment of string * 'j | `Msg of Msg.t ] list)
list.. >)
Types_.tag) ->
[> `Fail of string | `Ok of 'h ]