package tezos-protocol-005-PsBabyM1

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

type annot = string list

type (!'a, !'b) node = ('a, 'b) Tezos_micheline.Micheline.node =

type 'a canonical = 'a Tezos_micheline.Micheline.canonical

type canonical_location = int

val root : 'p canonical -> (canonical_location, 'p) node

val canonical_location_encoding : canonical_location Data_encoding.encoding

val canonical_encoding : 
  variant:string ->
  'l Data_encoding.encoding ->
  'l canonical Data_encoding.encoding

val canonical_encoding_v1 : 
  variant:string ->
  'l Data_encoding.encoding ->
  'l canonical Data_encoding.encoding

val location : ('l, 'p) node -> 'l

val annotations : ('l, 'p) node -> string list

val strip_locations : ('a, 'p) node -> 'p canonical

val extract_locations : 
  ('l, 'p) node ->
  'p canonical * (canonical_location * 'l) list

val inject_locations : 
  (canonical_location -> 'l) ->
  'p canonical ->
  ('l, 'p) node