replace
fun ClassicExecutionContext.replaceWithChildAppendingRulesAndChoicePoints(rules: <ERROR CLASS><out <ERROR CLASS>>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Content copied to clipboard