mop

fun mop(): State<N, V>?

Computes the meet over paths for all the states in globalState.