octez-proto-libs.protocol-environment
Make.Micheline
tezos_protocol_environment_sigs
tezos_protocol_environment_sigs_internals
tezos_protocol_environment_structs
type annot = string list
type ('a, 'b) node = ('a, 'b) Tezos_micheline.Micheline.node =
| Int of 'l * Z.t
| String of 'l * string
| Bytes of 'l * bytes
| Prim of 'l * 'p * ('l, 'p) node list * annot
| Seq of 'l * ('l, 'p) node list
type 'a canonical = 'a Tezos_micheline.Micheline.canonical
type canonical_location = Tezos_micheline.Micheline.canonical_location
val dummy_location : canonical_location
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 location : ('l, 'p) node -> 'l
val annotations : ('l, 'p) node -> string list
val strip_locations : (_, 'p) node -> 'p canonical