Module Mavryk_client_001_PtAtLas.Michelson_v1_macros

type 'l node = ('l, string) Mavryk_micheline.Micheline.node
type Mavryk_base.TzPervasives.error +=
  1. | Unexpected_macro_annotation of string
type Mavryk_base.TzPervasives.error +=
  1. | Sequence_expected of string
type Mavryk_base.TzPervasives.error +=
  1. | Invalid_arity of string * int * int
val expand_rec : 'l node -> 'l node * Mavryk_base.TzPervasives.error list
val expand_caddadr : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val expand_set_caddadr : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val expand_map_caddadr : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val expand_deprecated_dxiiivp : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val expand_pappaiir : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val expand_deprecated_duuuuup : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val expand_compare : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val expand_asserts : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val expand_unpappaiir : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val expand_if_some : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val expand_if_right : 'l node -> 'l node option Mavryk_base.TzPervasives.tzresult
val unexpand : 'l node -> 'l node
val unexpand_rec : 'l node -> 'l node
val unexpand_caddadr : 'l node -> 'l node option
val unexpand_set_caddadr : 'l node -> 'l node option
val unexpand_map_caddadr : 'l node -> 'l node option
val unexpand_deprecated_dxiiivp : 'l node -> 'l node option
val unexpand_pappaiir : 'l node -> 'l node option
val unexpand_deprecated_duuuuup : 'l node -> 'l node option
val unexpand_compare : 'l node -> 'l node option
val unexpand_asserts : 'l node -> 'l node option
val unexpand_unpappaiir : 'l node -> 'l node option
val unexpand_if_some : 'l node -> 'l node option
val unexpand_if_right : 'l node -> 'l node option