T
- public class ProofScriptCommandCall<T>
extends java.lang.Object
Constructor and Description |
---|
ProofScriptCommandCall(ProofScriptCommand<T> command,
T arguments) |
public ProofScriptCommandCall(ProofScriptCommand<T> command, T arguments)
Copyright © 2003-2019 The KeY-Project.