Skip to content
GitLab
Explore
Sign in
Charles Southerland
frama-c
Repository
frama-c
src
plugins
server
data.ml
Find file
Blame
History
Permalink
[server] Data: fixes the signature of functors for indexed values.
· 93771ae6
David Bühler
authored
Jul 07, 2020
These functors only require a 'kind' string.
93771ae6