Module Make.MichelineSource

Sourcetype annot = string list
Sourcetype ('a, 'b) node = ('a, 'b) Tezos_micheline.Micheline.node =
  1. | Int of 'l * Z.t
  2. | String of 'l * string
  3. | Bytes of 'l * bytes
  4. | Prim of 'l * 'p * ('l, 'p) node list * annot
  5. | Seq of 'l * ('l, 'p) node list
Sourcetype canonical_location = int
Sourceval root : 'p canonical -> (canonical_location, 'p) node
Sourceval canonical_location_encoding : canonical_location Data_encoding.encoding
Sourceval canonical_encoding : variant:string -> 'l Data_encoding.encoding -> 'l canonical Data_encoding.encoding
Sourceval canonical_encoding_v1 : variant:string -> 'l Data_encoding.encoding -> 'l canonical Data_encoding.encoding
Sourceval location : ('l, 'p) node -> 'l
Sourceval annotations : ('l, 'p) node -> string list
Sourceval strip_locations : (_, 'p) node -> 'p canonical
Sourceval extract_locations : ('l, 'p) node -> 'p canonical * (canonical_location * 'l) list
Sourceval inject_locations : (canonical_location -> 'l) -> 'p canonical -> ('l, 'p) node