module ActualsList:Datatype.List_with_collections(Actuals)(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