State parallel decomposition/composition theorems
State parallel decomposition/composition theorems

Hopefully these are true; regardless, the proofs might be a bit
involved.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl