wyal.lang

Interface WyalFile.Attribute

Enclosing class:

WyalFile

public static interface WyalFile.Attribute

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	WyalFile.Attribute.Proof