Source

cadastr / src / cd_All.ml

module Int = Cd_Int.Int;
module Int64 = Cd_Int64.Int64;
module List = Cd_List.List;
module Strings = Cd_Strings.Strings;
module Byte = Cd_Byte.Byte;
module Bytes = Cd_Bytes.Bytes;
module Chars = Cd_Chars.Chars;
module Array = Cd_Array.Array;
module Typeinfo = Cd_Typeinfo.Typeinfo;
module Num = Cd_Num.Num;
module Bool = Cd_Bool.Bool;
module Ref = Cd_Ref.Ref;
module Option = Cd_Option.Option;
module Partapp = Cd_Partapp.Partapp;
module Partapp2 = Cd_Partapp.Partapp2;
module Partapp3 = Cd_Partapp.Partapp3;
module SortedArray = Cd_SortedArray;
module SortedArraySet = Cd_SortedArraySet.SortedArraySet;
module Exn = Cd_Exn.Exn;
include Cd_Tuples;

include Cd_Ops;

type cmp_res = Cdt.cmp_res == [ LT | EQ | GT ]
;


open Cdt;

(*
value ti_int = Typeinfo.tifull_of_timod_full
  (module Int : TIFULL with type t = int);
value ti_string = Typeinfo.tifull_of_timod_full
  (module Strings.TCommon : TIFULL with type t = string);
value ti_num = Typeinfo.tifull_of_timod_full
  (module Num : TIFULL with type t = Num.t);
value ti_bool = Typeinfo.tifull_of_timod_full
  (module Bool : TIFULL with type t = Bool.t);
*)
value ti_int64 = (Int64.ti :> ti Int64.t)
;

module Cd = Cadastr;

type byte = Byte.t;
type octet = Byte.t;