functor
(
X
:
T
)
->
sig
val
lazy_list_of_t :
'
a
X
.t
->
'
a
Lazy_list
.t
end