Up – rocq-runtime » Ltac2_plugin » Tac2dyn » Val » Map » 1-Value

Parameter `Map.1-Value`

type 'a t