type Pre
import cswap-bend-cli@0.1.0.0/swlive.bend as Swliveimport Base
import cswap-bend-cli@0.1.0.0/store/plan.bend as SPlan
33# The live credential as read before the locks, and what the oracle said of it.
34type Pre is Data:
35 Pre{live: String, prof: SPlan.Prof}