bool -> HMysql.dbd -> Cic.context -> ProofEngineTypes.status -> int ->
AutoCache.cache ->
UriManager.UriSet.t * (UriManager.uri * Equality.equality) list * int *
bool -> HMysql.dbd -> Cic.context -> ProofEngineTypes.status -> int ->
AutoCache.cache ->
UriManager.UriSet.t * (UriManager.uri * Equality.equality) list * int *