13 lines
211 B
Plaintext
13 lines
211 B
Plaintext
file {
|
|
val=
|
|
name: "Hi"
|
|
extension: "txt"
|
|
size: 123
|
|
|
|
fn|
|
|
open: (None)->()
|
|
read: (Num)->(String)
|
|
write: (Num, String)->(Bool)
|
|
close: (None)->(Bool)
|
|
}
|