mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-21 18:59:32 -06:00
25 lines
401 B
Plaintext
25 lines
401 B
Plaintext
abstract Unix = {
|
|
|
|
cat
|
|
S ;
|
|
Line ;
|
|
Command ;
|
|
File ;
|
|
|
|
fun
|
|
Pipe : Command -> S -> S ;
|
|
Comm : Command -> S ;
|
|
|
|
WhatTime : Command ;
|
|
WhatDate : Command ;
|
|
WhereNow : Command ;
|
|
Remove : File -> Command ;
|
|
Copy : File -> File -> Command ;
|
|
Linecount : File -> Command ;
|
|
Wordcount : File -> Command ;
|
|
|
|
Name : String -> File ;
|
|
It : File ;
|
|
|
|
}
|