package tezos-validation

You can search for identifiers within the package.

in-package search v0.2.0

tezos-validation
- Tezos_validation

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Block_validation : sig ... end

This module is a proxy for the shell of the protocol (for the application part). The main function of this module is apply whichs calls the one of the protocol.

module External_validation : sig ... end

module Protocol_logging : sig ... end