Module V0.Micheline

type annot = string list
type (!'a, !'b) node = ('a'b) Tezos_micheline.Micheline.node =
| Int of 'a * Z.t
| String of 'a * string
| Bytes of 'a * MBytes.t
| Prim of 'a * 'b * ('a'b) node list * annot
| Seq of 'a * ('a'b) node list
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