module Check_accessors:functor (
T
:
T.T2
) ->
functor (
Tree
:
T.T2
) ->
functor (
Elt
:
T.T1
) ->
functor (
Options
:
T.T3
) ->
functor (
M
:
Accessors_generic
with type ('a, 'b, 'c) options := ('a, 'b, 'c) Options.t
with type ('a, 'b) t := ('a, 'b) T.t
with type ('a, 'b) tree := ('a, 'b) Tree.t
with type 'a elt := 'a Elt.t
) ->
sig
..end
Parameters: |
|