toRequest

fun ClassicExecutionContext.toRequest(goal: Struct, signature: Signature): Solve.Request<ClassicExecutionContext>