Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
InspectionTableInterpreter.ml
Find file
Blame
History
Permalink
[InspectionTableInterpreter]: require more type equalities in the signature
· 0497fe23
POTTIER Francois
authored
Mar 28, 2017
of the third argument [ET]. They will be needed for [feed].
0497fe23