Move Profuse_7_8.In signature to Profuse_signatures.

Author: yallop

lib/profuse_7_8.mli

@@ -85,238 +85,11 @@ module Struct : sig
   end
 end
 
-module In : sig
-  module T = Types.In
-
-  module Opcode : sig
-    module T = T.Opcode
-
-    type t = T.t
-
-    val to_string : t -> string
-
-    val returns : t -> bool
-
-    val of_uint32 : Unsigned.uint32 -> t
-
-    val to_uint32 : t -> Unsigned.uint32
-  end
-
-  module Hdr : sig
-    module T = T.Hdr
-
-    val sz : int
-
-    val packet :
-      opcode:Opcode.t ->
-      unique:Unsigned.uint64 ->
-      nodeid:Unsigned.uint64 ->
-      uid:Unsigned.uint32 ->
-      gid:Unsigned.uint32 ->
-      pid:Unsigned.uint32 -> count:int -> char Ctypes.CArray.t
-
-    val make :
-      opcode:Opcode.t ->
-      unique:Unsigned.uint64 ->
-      nodeid:Unsigned.uint64 ->
-      uid:Unsigned.uint32 ->
-      gid:Unsigned.uint32 -> pid:Unsigned.uint32 -> 'a Ctypes.typ -> 'a
-
-    val memcpy :
-      dest:unit Ctypes.ptr -> src:unit Ctypes.ptr -> int -> unit
-
-    val packet_from_hdr :
-      T.t structure ->
-      count:int -> char Ctypes.CArray.t
-
-    val make_from_hdr :
-      T.t structure -> 'a Ctypes.typ -> 'a
-  end
-
-  module Init : sig
-    module T = T.Init
-  end
-
-  module Open : sig
-    module T = T.Open
-  end
-
-  module Read : sig
-    module T = T.Read
-  end
-
-  module Release : sig
-    module T = T.Release
-  end
-
-  module Access : sig
-    module T = T.Access
-  end
-
-  module Forget : sig
-    module T = T.Forget
-  end
-
-  module Flush : sig
-    module T = T.Flush
-  end
-
-  module Create : sig
-    module T = T.Create
-
-    val name : unit Ctypes.ptr -> string
-  end
-
-  module Mknod : sig
-    module T = T.Mknod
-
-    val name : unit Ctypes.ptr -> string
-  end
-
-  module Mkdir : sig
-    module T = T.Mkdir
-
-    val name : unit Ctypes.ptr -> string
-  end
-
-  module Rename : sig
-    module T = T.Rename
-
-    val source_destination : unit Ctypes.ptr -> string * string
-  end
-
-  module Link : sig
-    module T = T.Link
-
-    val name : unit Ctypes.ptr -> string
-  end
-
-  module Write : sig
-    module T = T.Write
-  end
-
-  module Fsync : sig
-    module T = T.Fsync
-  end
-
-  module Lk : sig
-    module T = T.Lk
-  end
-
-  module Interrupt : sig
-    module T = T.Interrupt
-  end
-
-  module Bmap : sig
-    module T = T.Bmap
-  end
-
-  module Setattr : sig
-    module T = T.Setattr
-
-    module Valid : sig
-      module T = T.Valid
-
-      type t = {
-        mode : bool;
-        uid : bool;
-        gid : bool;
-        size : bool;
-        atime : bool;
-        mtime : bool;
-        fh : bool;
-        unknown : int32;
-        (*atime_now : bool;
-        mtime_now : bool;
-          lockowner : bool;*)
-      }
-
-      val to_string_list : t -> string list
-
-      val of_uint32 : Unsigned.uint32 -> t
-
-      val to_uint32 : t -> Unsigned.uint32
-    end
-    
-    val create_from_hdr :
-      valid:Unsigned.uint32 ->
-      fh:Unsigned.uint64 ->
-      size:Unsigned.uint64 ->
-      atime:Unsigned.uint64 ->
-      mtime:Unsigned.uint64 ->
-      atimensec:Unsigned.uint32 ->
-      mtimensec:Unsigned.uint32 ->
-      mode:Unsigned.uint32 ->
-      uid:Unsigned.uint32 ->
-      gid:Unsigned.uint32 ->
-      Hdr.T.t structure -> char Ctypes.CArray.t
-  end
-
-  module Getxattr : sig
-    module T = T.Getxattr
-
-    val create_from_hdr :
-      size:Unsigned.uint32 ->
-      Hdr.T.t structure -> char Ctypes.CArray.t
-  end
-
-  module Setxattr : sig
-    module T = T.Setxattr
-
-    val create_from_hdr :
-      size:Unsigned.uint32 ->
-      flags:Unsigned.uint32 ->
-      Hdr.T.t structure -> char Ctypes.CArray.t
-  end
-
-  module Message : sig
-    type t =
-      | Init of Init.T.t Ctypes.structure
-      | Getattr
-      | Lookup of string
-      | Opendir of Open.T.t Ctypes.structure
-      | Readdir of Read.T.t Ctypes.structure
-      | Releasedir of Release.T.t Ctypes.structure
-      | Fsyncdir of Fsync.T.t Ctypes.structure
-      | Rmdir of string
-      | Getxattr of Getxattr.T.t Ctypes.structure * string
-      | Setxattr of Setxattr.T.t Ctypes.structure * string
-      | Listxattr of Getxattr.T.t Ctypes.structure
-      | Removexattr of string
-      | Access of Access.T.t Ctypes.structure
-      | Forget of Forget.T.t Ctypes.structure
-      | Readlink
-      | Open of Open.T.t Ctypes.structure
-      | Read of Read.T.t Ctypes.structure
-      | Write of Write.T.t structure * char Ctypes.ptr
-      | Statfs
-      | Flush of Flush.T.t Ctypes.structure
-      | Release of Release.T.t Ctypes.structure
-      | Fsync of Fsync.T.t Ctypes.structure
-      | Unlink of string
-      | Create of Create.T.t Ctypes.structure * string
-      | Mknod of Mknod.T.t Ctypes.structure * string
-      | Mkdir of Mkdir.T.t Ctypes.structure * string
-      | Setattr of Setattr.T.t Ctypes.structure
-      | Link of Link.T.t Ctypes.structure * string
-      | Symlink of string * string
-      | Rename of Rename.T.t Ctypes.structure * string * string
-      | Getlk of Lk.T.t Ctypes.structure
-      | Setlk of Lk.T.t Ctypes.structure
-      | Setlkw of Lk.T.t Ctypes.structure
-      | Interrupt of Interrupt.T.t Ctypes.structure
-      | Bmap of Bmap.T.t Ctypes.structure
-      | Destroy
-      | Other of Opcode.t
-      | Unknown of int32
-
-    val parse :
-      chan -> Hdr.T.t Ctypes.structure -> int -> unit Ctypes.ptr
-      -> (Hdr.T.t, t) packet
-
-    val describe : (Hdr.T.t, t) packet -> string
-  end
-end
+module In : Profuse_signatures.Signatures_7_8_in 
+  with module Struct := Types.Struct
+  with module T = Types.In
+   and type chan := chan
+   and type ('h, 'b) packet := ('h, 'b) packet
 
 type 'a request = (In.Hdr.T.t, 'a) packet