module Make: functor (
X
:
Hptmap.Id_Datatype
) ->
functor (
Initial_Values
:
sig
end
) ->
functor (
Datatype_deps
:
sig
end
) ->
sig
.. end
Parameters: |
X |
: |
Hptmap.Id_Datatype
|
Initial_Values |
: |
sig val v : X.t list list end
|
Datatype_deps |
: |
sig val l : State.t list end
|
|
include Hptset.S
val self : State.t