- what:string -> other:string -> subterms_only:bool ->
- demodulate:bool ->
- ProofEngineTypes.proof * ProofEngineTypes.goal ->
+ target:string -> table:string -> subterms_only:bool ->
+ demod_table:string -> ProofEngineTypes.proof * ProofEngineTypes.goal ->