?width:int ->
ProofEngineTypes.proof * ProofEngineTypes.goal ->
(UriManager.uri option * Cic.conjecture list * Cic.term * Cic.term) *
?width:int ->
ProofEngineTypes.proof * ProofEngineTypes.goal ->
(UriManager.uri option * Cic.conjecture list * Cic.term * Cic.term) *