| File | Mode | Size |
|---|---|---|
| example | ||
| AUTHORS.md | -rw-r--r-- | 46 bytes |
| DOCUMENTATION.md | -rw-r--r-- | 16.7 KB |
| Makefile | -rw-r--r-- | 53 bytes |
| Meta.Attribute.fst | -rw-r--r-- | 60 bytes |
| Meta.Interface.fst | -rw-r--r-- | 24.0 KB |
| File | Mode | Size |
|---|---|---|
| example | ||
| AUTHORS.md | -rw-r--r-- | 46 bytes |
| DOCUMENTATION.md | -rw-r--r-- | 16.7 KB |
| Makefile | -rw-r--r-- | 53 bytes |
| Meta.Attribute.fst | -rw-r--r-- | 60 bytes |
| Meta.Interface.fst | -rw-r--r-- | 24.0 KB |