package tezos-client-010-PtGRANAD

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: protocol specific library for `tezos-client`

Install

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

Sourcetype parsed = {

source : string;
(*
The original source code.
*)
unexpanded : string Tezos_micheline.Micheline.canonical;
(*
Original expression with macros.
*)
expanded : Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr;
(*
Expression with macros fully expanded.
*)
expansion_table : (int * (Tezos_micheline.Micheline_parser.location * int list)) list;
(*
Associates unexpanded nodes to their parsing locations and the nodes expanded from it in the expanded expression.
*)
unexpansion_table : (int * int) list;
(*
Associates an expanded node to its source in the unexpanded expression.
*)

}

The result of parsing and expanding a Michelson V1 script or data.

Sourceval compare_parsed : parsed -> parsed -> int

val parse_toplevel : 
  ?check:bool ->
  string ->
  parsed Tezos_micheline.Micheline_parser.parsing_result

val parse_expression : 
  ?check:bool ->
  string ->
  parsed Tezos_micheline.Micheline_parser.parsing_result

val expand_all : 
  source:string ->
  original:Tezos_micheline.Micheline_parser.node ->
  parsed Tezos_micheline.Micheline_parser.parsing_result