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

Functors


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
Size
module BitSize: sig .. end
module ByteSize: sig .. end

Binary stream


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