Plasma GitLab Archive
Projects Blog Knowledge

sig
  type int4
  type int8
  type uint4
  type uint8
  type fp4
  type fp8
  exception Cannot_represent of string
  exception Out_of_range
  val mk_int4 : char * char * char * char -> Netnumber.int4
  val mk_int8 :
    char * char * char * char * char * char * char * char -> Netnumber.int8
  val mk_uint4 : char * char * char * char -> Netnumber.uint4
  val mk_uint8 :
    char * char * char * char * char * char * char * char -> Netnumber.uint8
  val dest_int4 : Netnumber.int4 -> char * char * char * char
  val dest_int8 :
    Netnumber.int8 -> char * char * char * char * char * char * char * char
  val dest_uint4 : Netnumber.uint4 -> char * char * char * char
  val dest_uint8 :
    Netnumber.uint8 -> char * char * char * char * char * char * char * char
  val mk_fp4 : char * char * char * char -> Netnumber.fp4
  val mk_fp8 :
    char * char * char * char * char * char * char * char -> Netnumber.fp8
  val dest_fp4 : Netnumber.fp4 -> char * char * char * char
  val dest_fp8 :
    Netnumber.fp8 -> char * char * char * char * char * char * char * char
  val int_of_int4 : Netnumber.int4 -> int
  val int_of_uint4 : Netnumber.uint4 -> int
  val int_of_int8 : Netnumber.int8 -> int
  val int_of_uint8 : Netnumber.uint8 -> int
  val int4_of_int : int -> Netnumber.int4
  val uint4_of_int : int -> Netnumber.uint4
  val int8_of_int : int -> Netnumber.int8
  val uint8_of_int : int -> Netnumber.uint8
  val int32_of_int4 : Netnumber.int4 -> int32
  val int32_of_uint4 : Netnumber.uint4 -> int32
  val int32_of_int8 : Netnumber.int8 -> int32
  val int32_of_uint8 : Netnumber.uint8 -> int32
  val int4_of_int32 : int32 -> Netnumber.int4
  val uint4_of_int32 : int32 -> Netnumber.uint4
  val int8_of_int32 : int32 -> Netnumber.int8
  val uint8_of_int32 : int32 -> Netnumber.uint8
  val int64_of_int4 : Netnumber.int4 -> int64
  val int64_of_uint4 : Netnumber.uint4 -> int64
  val int64_of_int8 : Netnumber.int8 -> int64
  val int64_of_uint8 : Netnumber.uint8 -> int64
  val int4_of_int64 : int64 -> Netnumber.int4
  val uint4_of_int64 : int64 -> Netnumber.uint4
  val int8_of_int64 : int64 -> Netnumber.int8
  val uint8_of_int64 : int64 -> Netnumber.uint8
  val logical_uint4_of_int32 : int32 -> Netnumber.uint4
  val logical_int32_of_uint4 : Netnumber.uint4 -> int32
  val logical_uint8_of_int64 : int64 -> Netnumber.uint8
  val logical_int64_of_uint8 : Netnumber.uint8 -> int64
  val fp8_of_fp4 : Netnumber.fp4 -> Netnumber.fp8
  val fp4_of_fp8 : Netnumber.fp8 -> Netnumber.fp4
  val float_of_fp4 : Netnumber.fp4 -> float
  val float_of_fp8 : Netnumber.fp8 -> float
  val fp4_of_float : float -> Netnumber.fp4
  val fp8_of_float : float -> Netnumber.fp8
  val lt_uint4 : Netnumber.uint4 -> Netnumber.uint4 -> bool
  val le_uint4 : Netnumber.uint4 -> Netnumber.uint4 -> bool
  val gt_uint4 : Netnumber.uint4 -> Netnumber.uint4 -> bool
  val ge_uint4 : Netnumber.uint4 -> Netnumber.uint4 -> bool
  val lt_uint8 : Netnumber.uint8 -> Netnumber.uint8 -> bool
  val le_uint8 : Netnumber.uint8 -> Netnumber.uint8 -> bool
  val gt_uint8 : Netnumber.uint8 -> Netnumber.uint8 -> bool
  val ge_uint8 : Netnumber.uint8 -> Netnumber.uint8 -> bool
  module type ENCDEC =
    sig
      val read_int4 : string -> int -> Netnumber.int4
      val read_int8 : string -> int -> Netnumber.int8
      val read_uint4 : string -> int -> Netnumber.uint4
      val read_uint8 : string -> int -> Netnumber.uint8
      val read_int4_unsafe : string -> int -> Netnumber.int4
      val read_int8_unsafe : string -> int -> Netnumber.int8
      val read_uint4_unsafe : string -> int -> Netnumber.uint4
      val read_uint8_unsafe : string -> int -> Netnumber.uint8
      val write_int4 : string -> int -> Netnumber.int4 -> unit
      val write_int8 : string -> int -> Netnumber.int8 -> unit
      val write_uint4 : string -> int -> Netnumber.uint4 -> unit
      val write_uint8 : string -> int -> Netnumber.uint8 -> unit
      val write_int4_unsafe : string -> int -> Netnumber.int4 -> unit
      val write_int8_unsafe : string -> int -> Netnumber.int8 -> unit
      val write_uint4_unsafe : string -> int -> Netnumber.uint4 -> unit
      val write_uint8_unsafe : string -> int -> Netnumber.uint8 -> unit
      val int4_as_string : Netnumber.int4 -> string
      val int8_as_string : Netnumber.int8 -> string
      val uint4_as_string : Netnumber.uint4 -> string
      val uint8_as_string : Netnumber.uint8 -> string
      val fp4_as_string : Netnumber.fp4 -> string
      val fp8_as_string : Netnumber.fp8 -> string
      val read_fp4 : string -> int -> Netnumber.fp4
      val read_fp8 : string -> int -> Netnumber.fp8
    end
  module BE : ENCDEC
  module LE : ENCDEC
  module HO : ENCDEC
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml