Plasma GitLab Archive
Projects Blog Knowledge

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