module ListCursor: sig .. end
sig
end
module type S = sig .. end
module Make: functor (L : Reins.Lists.ListSig) -> S with type 'a list_ = 'a L.t
functor (
L
:
Reins.Lists.ListSig
) ->
S
with type 'a list_ = 'a L.t