MetaProverState_intf
.
S