Z3
Public Member Functions
ContractClassFor Class Reference
+ Inheritance diagram for ContractClassFor:

Public Member Functions

 ContractClassFor (Type t)
 

Detailed Description

Definition at line 28 of file DummyContracts.cs.

Constructor & Destructor Documentation

§ ContractClassFor()

ContractClassFor ( Type  t)
inline

Definition at line 30 of file DummyContracts.cs.

30 { }