module Result_pair:Datatype.Pair_with_collections(Datatype.Bool)(Datatype.Bool)(sigval module_name :stringend)
include Datatype.S
module Set:Datatype.Setwith type elt = t
module Map:Datatype.Mapwith type key = t
module Hashtbl:Datatype.Hashtblwith type key = t