2 commits

Author	SHA1	Message	Date
Leonardo de Moura	a175e9393e	refactor(library): context_cache ==> abstract_context_cache	2018-02-21 15:04:20 -08:00
Leonardo de Moura	7762dc381a	feat(library/type_context): use context_cache interface	2018-02-21 15:04:20 -08:00