Tac2core.MapType
module S : CSig.SetS
to have less boilerplate we use S.elt rather than declaring a toplevel type t
module M : CMap.ExtS with type key = S.elt and module Set := S
type valmap
val valmap_eq : (valmap, Tac2val.valexpr M.t) Util.eq
val repr : S.elt Tac2ffi.repr