public interface ContractPO extends ProofOblInput
Contract
getContract()
Term
getMbyAtPre()
getContainerType, getPO, implies, name, readProblem
Contract getContract()
Term getMbyAtPre()