action

fun action(body: (S, S, P) -> Unit)