package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Proof.Internal_for_tests

val tree_eq : Tezos_context_sigs__Context.Proof_types.tree -> Tezos_context_sigs__Context.Proof_types.tree -> bool
val tree_proof_eq : Tezos_context_sigs__Context.Proof_types.tree Tezos_context_sigs__Context.Proof_types.t -> Tezos_context_sigs__Context.Proof_types.tree Tezos_context_sigs__Context.Proof_types.t -> bool