Up
–
rocq-runtime
»
Hints
» Modes
Module
Hints.Modes
type
t
val
empty :
t
val
union :
t
->
t
->
t