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