Functor Dpds_gui.Make_StmtMapState

module Make_StmtMapState: 
functor (Info : sig
val name : string
end-> sig .. end
Parameters:
Info : sig val name: string end

module D: Datatype
include struct ... end
val set : data -> unit