package tezos-protocol-020-PsParisC

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type void = |

type minimal_state = {

}

val minimal_state_encoding : 
  minimal_state Tezos_protocol_environment_020_PsParisC.Data_encoding.t

val make_empty_state : unit -> minimal_state

module type S = sig ... end

module Protocol_implementation : 
  S
    with type context = unit
     and type state = minimal_state
     and type proof = void