Tac2core.MapType
module S : CSig.USetS
to have less boilerplate we use S.elt rather than declaring a toplevel type t
module M : CMap.UExtS 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