diff --git a/src/environment/jbuild b/src/environment/jbuild index 2838c3ad3..e16b8cd29 100644 --- a/src/environment/jbuild +++ b/src/environment/jbuild @@ -22,7 +22,6 @@ v1/lwt_sequence.mli v1/lwt.mli v1/lwt_list.mli - v1/uri.mli ;; Tezos extended stdlib v1/mBytes.mli diff --git a/src/environment/v1/RPC.mli b/src/environment/v1/RPC.mli index 8c1ee6346..36dc8d3d3 100644 --- a/src/environment/v1/RPC.mli +++ b/src/environment/v1/RPC.mli @@ -1,3 +1,12 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) + (** View over the RPC service, restricted to types. A protocol implementation can define a set of remote procedures which are registered when the protocol is activated via its [rpcs] diff --git a/src/environment/v1/base58.mli b/src/environment/v1/base58.mli index d54f6a812..89a4b5ab5 100644 --- a/src/environment/v1/base58.mli +++ b/src/environment/v1/base58.mli @@ -1,3 +1,11 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) type 'a encoding diff --git a/src/environment/v1/compare.mli b/src/environment/v1/compare.mli index c743b4d76..05894db96 100644 --- a/src/environment/v1/compare.mli +++ b/src/environment/v1/compare.mli @@ -1,3 +1,11 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) module type S = sig type t diff --git a/src/environment/v1/context.mli b/src/environment/v1/context.mli index 0de51852e..346944d68 100644 --- a/src/environment/v1/context.mli +++ b/src/environment/v1/context.mli @@ -1,3 +1,12 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) + (** View over the context store, restricted to types, access and functional manipulation of an existing context. *) diff --git a/src/environment/v1/data_encoding.mli b/src/environment/v1/data_encoding.mli index 716f74816..10fad4db1 100644 --- a/src/environment/v1/data_encoding.mli +++ b/src/environment/v1/data_encoding.mli @@ -1,3 +1,11 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) (** In memory JSON data *) type json = diff --git a/src/environment/v1/ed25519.mli b/src/environment/v1/ed25519.mli index ffcfa7fd5..450a3937e 100644 --- a/src/environment/v1/ed25519.mli +++ b/src/environment/v1/ed25519.mli @@ -1,5 +1,13 @@ -(** Tezos - Ed25519 cryptography *) +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) +(** Tezos - Ed25519 cryptography *) (** {2 Hashed public keys for user ID} ***************************************) diff --git a/src/environment/v1/error_monad.mli b/src/environment/v1/error_monad.mli index b48e895ad..0f719426b 100644 --- a/src/environment/v1/error_monad.mli +++ b/src/environment/v1/error_monad.mli @@ -1,3 +1,12 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) + (** Tezos Protocol Implementation - Error Monad *) (** {2 Error classification} *************************************************) diff --git a/src/environment/v1/fitness.mli b/src/environment/v1/fitness.mli index ac21c6056..bec5ef836 100644 --- a/src/environment/v1/fitness.mli +++ b/src/environment/v1/fitness.mli @@ -1,3 +1,11 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) type fitness = MBytes.t list diff --git a/src/environment/v1/hash.mli b/src/environment/v1/hash.mli index c6d314e90..1842d1541 100644 --- a/src/environment/v1/hash.mli +++ b/src/environment/v1/hash.mli @@ -1,3 +1,11 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) (** Tezos - Manipulation and creation of hashes *) diff --git a/src/environment/v1/hex_encode.mli b/src/environment/v1/hex_encode.mli index 6f0fde127..a3991959e 100644 --- a/src/environment/v1/hex_encode.mli +++ b/src/environment/v1/hex_encode.mli @@ -1,3 +1,12 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) + (** Tezos Utility library - Hexadecimal encoding *) (** Parses a sequence of hexadecimal characters pairs as bytes *) diff --git a/src/environment/v1/json.mli b/src/environment/v1/json.mli index 296a77cf1..269e2a597 100644 --- a/src/environment/v1/json.mli +++ b/src/environment/v1/json.mli @@ -1,3 +1,12 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) + (** In memory JSON data *) type json = [ `O of (string * json) list diff --git a/src/environment/v1/logging.mli b/src/environment/v1/logging.mli index 832e6a7f6..c18519dc2 100644 --- a/src/environment/v1/logging.mli +++ b/src/environment/v1/logging.mli @@ -1,3 +1,11 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) val debug: ('a, Format.formatter, unit, unit) format4 -> 'a val log_info: ('a, Format.formatter, unit, unit) format4 -> 'a diff --git a/src/environment/v1/mBytes.mli b/src/environment/v1/mBytes.mli index 2bcb15be0..6e7519cca 100644 --- a/src/environment/v1/mBytes.mli +++ b/src/environment/v1/mBytes.mli @@ -1,3 +1,11 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) type t diff --git a/src/environment/v1/persist.mli b/src/environment/v1/persist.mli index 908980af6..e46f4bbfb 100644 --- a/src/environment/v1/persist.mli +++ b/src/environment/v1/persist.mli @@ -1,3 +1,12 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) + (** Tezos - Persistent structures on top of {!Store} or {!Context} *) (** Keys in (kex x value) database implementations *) diff --git a/src/environment/v1/time.mli b/src/environment/v1/time.mli index 4ab75ec98..0a6f722ae 100644 --- a/src/environment/v1/time.mli +++ b/src/environment/v1/time.mli @@ -1,3 +1,11 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) type t diff --git a/src/environment/v1/updater.mli b/src/environment/v1/updater.mli index 0ef551c49..4ed41d485 100644 --- a/src/environment/v1/updater.mli +++ b/src/environment/v1/updater.mli @@ -1,3 +1,12 @@ +(**************************************************************************) +(* *) +(* Copyright (c) 2014 - 2016. *) +(* Dynamic Ledger Solutions, Inc. *) +(* *) +(* All rights reserved. No warranty, explicit or implicit, provided. *) +(* *) +(**************************************************************************) + (** Tezos Protocol Environment - Protocol Implementation Updater *) type validation_result = { diff --git a/src/environment/v1/uri.mli b/src/environment/v1/uri.mli deleted file mode 100644 index 63c57c4e0..000000000 --- a/src/environment/v1/uri.mli +++ /dev/null @@ -1 +0,0 @@ -type t