Module TypeMono.S.Map

module Map: CCMap.S  with type key = T.t

A map on terms that only accepts terms satisfying is_ty as keys