Up
module
Xml_wrap
:
sig
#
module type
T =
sig
#
type
'a t
#
type
'a tlist
#
val
return : 'a
->
'a
t
#
val
fmap : ('a
->
'b)
->
'a
t
->
'b
t
#
val
nil : unit
->
'a
tlist
#
val
singleton : 'a
t
->
'a
tlist
#
val
cons : 'a
t
->
'a
tlist
->
'a
tlist
#
val
append : 'a
tlist
->
'a
tlist
->
'a
tlist
#
val
map : ('a
->
'b)
->
'a
tlist
->
'b
tlist
end
#
module
NoWrap :
T
with
type
'a
t
= 'a
and
type
'a
tlist
= 'a list
end