public class CryptoSchemaContent_SchemaList extends CryptoSchemaContent
| Modifier and Type | Field and Description |
|---|---|
dafny.DafnySequence<? extends CryptoSchema> |
_SchemaList |
| Constructor and Description |
|---|
CryptoSchemaContent_SchemaList(dafny.DafnySequence<? extends CryptoSchema> SchemaList) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object other) |
int |
hashCode() |
java.lang.String |
toString() |
_typeDescriptor, create_Action, create_SchemaList, create_SchemaMap, Default, dtor_Action, dtor_SchemaList, dtor_SchemaMap, is_Action, is_SchemaList, is_SchemaMappublic dafny.DafnySequence<? extends CryptoSchema> _SchemaList
public CryptoSchemaContent_SchemaList(dafny.DafnySequence<? extends CryptoSchema> SchemaList)