Module Mavryk_protocol_environment_alpha.Micheline

type annot = string list
type (!'a, !'b) node = ('a, 'b) Mavryk_micheline.Micheline.node =
  1. | Int of 'a * Z.t
  2. | String of 'a * string
  3. | Bytes of 'a * bytes
  4. | Prim of 'a * 'b * ('a, 'b) node list * annot
  5. | Seq of 'a * ('a, 'b) node list
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 : ('a, 'p) node -> 'p canonical