unit
netbsd_fs


unit netbsd_fs = {
imports[
string : String_T
sprintf : Sprintf_T
intr : OSEnvIntr_T
mem : OSEnvMem_T
sleep : OSEnvSleep_T
log : OSEnvLog_T
panic : OSEnvPanic_T
timer : OSEnvTimer_T
time : PosixTime_T
iids : { oskit_absio_iid
oskit_dir_iid
oskit_dirents_iid
oskit_file_iid
oskit_filesystem_iid
oskit_iunknown_iid
oskit_openfile_iid
oskit_posixio_iid
oskit_principal_iid
oskit_stream_iid }
ctxt : CallContext_T
];
exports[
out : BSD_FS_T
];
...
}


Rendered using Haskell HTML Combinators