Module Basic_types

module Basic_types: sig .. end
Definitions of non-DBA types

Maps & Sets on base types

module String: sig .. end
module Int: Sigs.Collection  with type t = int
module BigInt: Sigs.Collection  with type t = Bigint.t
module Int64: sig .. end
module Addr64: Int64


module MapSetMaker: 
functor (C : Sigs.Comparable) -> Sigs.Collection with type t = C.t
module Natural: sig .. end
Specific modules & types
module Constants: sig .. end
module type Size = sig .. end
module BitSize: sig .. end
module ByteSize: sig .. end

Binary stream

module Binstream: sig .. end
module Ternary: sig .. end
Ternary logic