sig type cacheable = Cacheable | NoCache | NoCacheCallers end