- ?auto:Inference.auto_type ->
- AutoTypes.cache ->
- Equality.equality_bag * Equality.equality list * AutoTypes.cache * int
+ ?auto:Equality_retrieval.auto_type ->
+ AutoCache.cache ->
+ Equality.equality_bag * Equality.equality list * AutoCache.cache * int