is there an equivalent to struct-out, except the structure fields are guarded by a contract?

There’s a struct syntax for contract-out

oh I misread the docs