public interface Scriptable
default java.lang.String
getProofScriptRepresentation()
default java.lang.String getProofScriptRepresentation()
Copyright © 2003-2019 The KeY-Project.