module VarinfoHashtbl: functor (Data : Project.Datatype.S) -> S with type t = Data.t VarinfoHashtbl.t
functor (
Data
:
Project.Datatype.S
) ->
S
with type t = Data.t VarinfoHashtbl.t