2016-09-08 19:13:10 +02:00
|
|
|
(**************************************************************************)
|
|
|
|
(* *)
|
2018-02-05 21:17:03 +01:00
|
|
|
(* Copyright (c) 2014 - 2018. *)
|
2016-09-08 19:13:10 +02:00
|
|
|
(* Dynamic Ledger Solutions, Inc. <contact@tezos.com> *)
|
|
|
|
(* *)
|
|
|
|
(* All rights reserved. No warranty, explicit or implicit, provided. *)
|
|
|
|
(* *)
|
|
|
|
(**************************************************************************)
|
|
|
|
|
2017-10-27 18:53:07 +02:00
|
|
|
val compile: Protocol_hash.t -> Protocol.t -> bool Lwt.t
|
|
|
|
|
|
|
|
val init: string -> unit
|
|
|
|
|
2017-10-27 20:22:44 +02:00
|
|
|
val compiler_name: string
|