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