-val by_term_we_proved :
- dbd:HSql.dbd -> universe:Universe.universe -> Cic.term option -> Cic.term ->
- string option -> Cic.term option -> ProofEngineTypes.tactic
+val by_just_we_proved :
+ dbd:HSql.dbd -> automation_cache:AutomationCache.cache ->
+ just -> Cic.term -> string option -> Cic.term option ->
+ ProofEngineTypes.tactic