module Make_LOffset: functor (
VALUE
:
Lattice_With_Isotropy.S
) ->
functor (
LOffset
:
Offsetmap.S
with type y = VALUE.t and type widen_hint = VALUE.widen_hint
) ->
sig
.. end
Parameters: |
VALUE |
: |
Lattice_With_Isotropy.S
|
LOffset |
: |
Offsetmap.S with type y = VALUE.t and type widen_hint = VALUE.widen_hint
|
|
type
y = VALUE.t
type of the values associated to the locations
type
widen_hint_offsetmap = VALUE.widen_hint
module Make: functor (
Default_offsetmap
:
sig
val default_offsetmap : Base.t -> LOffset.t
end
) ->
sig
.. end