https://gitlab.com/tezos/tezos
Raw File
Tip revision: 19b9ef9c9c35158ab276630d1ea1660dba590a73 authored by iguerNL@Functori on 01 March 2024, 07:38:39 UTC
WIP: try to typecheck the plugin with existential variables
Tip revision: 19b9ef9
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name tezos_store)
 (public_name octez-shell-libs.store)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.base
  octez-libs.crypto
  octez-libs.rpc
  lwt-watcher
  octez-shell-libs.shell-services
  octez-shell-libs.validation
  octez-shell-libs.context-ops
  octez-shell-libs.store.shared)
 (flags
  (:standard)
  -open Tezos_base
  -open Tezos_base.TzPervasives
  -open Tezos_crypto
  -open Tezos_shell_services
  -open Tezos_validation
  -open Tezos_context_ops
  -open Tezos_store_shared)
 (virtual_modules store)
 (default_implementation octez-shell-libs.store.real))
back to top