public MkFiniteDomainSort ( |
||
name | The name used to identify the sort | |
size | ulong | The size of the sort |
리턴 |
public MkFiniteDomainSort ( |
||
name | The name used to identify the sort | |
size | ulong | The size of the sort |
리턴 |