Module Tjr_minifs.Nfs_server
NFS server, backed by some filesystem
val mk_serve : monad_ops:'w Tjr_monad.monad_ops -> ops:('a, 'b, 'w) Minifs_intf.ops -> data_of_buffer:(buffer:Tjr_minifs__Minifs_intf.buf -> len:int -> Minifs_intf.Msgs.data) -> buffer_of_data:(Minifs_intf.Msgs.data -> Tjr_minifs__Minifs_intf.buf) -> mk_buffer:(Minifs_intf.Msgs.length -> Tjr_minifs__Minifs_intf.buf) -> dh2i:('b -> Minifs_intf.Msgs.dh) -> i2dh:(Minifs_intf.Msgs.dh -> 'b) -> fd2i:('a -> Minifs_intf.Msgs.fd) -> i2fd:(Minifs_intf.Msgs.fd -> 'a) -> Minifs_intf.Msgs.msg_from_client -> (Minifs_intf.Msgs.msg_from_server, 'w) Tjr_monad.m
include sig ... end
val mk_serve : monad_ops:'a Tjr_monad.monad_ops -> ops:('b, 'c, 'a) Minifs_intf.ops -> dh2i:('c -> Minifs_intf.Msgs.dh) -> i2dh:(Minifs_intf.Msgs.dh -> 'c) -> fd2i:('b -> Minifs_intf.Msgs.fd) -> i2fd:(Minifs_intf.Msgs.fd -> 'b) -> Minifs_intf.Msgs.msg_from_client -> (Minifs_intf.Msgs.msg_from_server, 'a) Tjr_monad.m
Specialize mk_serve using standard auxiliary functions