create
fun ClassicExecutionContext.createChildAppendingPrimitivesAndChoicePoints(primitiveExecutions: Cursor<out Solve.Response>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Content copied to clipboard