Module TermInner.Util.Map

module Map: CCMap.Make(As_key)