Mtyped (tzfunc.Mtyped)

val let$ : 
  ('a, 'b) Stdlib.result ->
  ('a -> ('c, 'b) Stdlib.result) ->
  ('c, 'b) Stdlib.result

val rmap : 
  ('a -> ('b, 'c) Stdlib.result) ->
  'd list ->
  ('e list, 'f) Stdlib.result

type value = [

| `address of string
| `assoc of (value * value) list
| `bls12_381_fr of Proto.A.zarith
| `bls12_381_g1 of Proto.hex
| `bls12_381_g2 of Proto.hex
| `bool of bool
| `bytes of Proto.hex
| `chain_id of string
| `chest of Proto.hex
| `chest_key of Proto.hex
| `contract
| `int of Proto.A.zarith
| `key of string
| `key_hash of string
| `l2_address of string
| `lambda of Proto.micheline
| `left of value
| `mutez of Proto.A.zarith
| `nat of Proto.A.zarith
| `never
| `none
| `operation
| `right of value
| `seq of value list
| `sapling_state
| `sapling_transaction
| `signature of string
| `some of value
| `string of string
| `ticket of Proto.micheline
| `timestamp of Proto.A.timestamp
| `tuple of value list
| `unit

]

val value_enc : value Proto.Encoding.encoding

type 'a type_aux = [

| `address
| `big_map of 'a * 'a
| `bls12_381_fr
| `bls12_381_g1
| `bls12_381_g2
| `bool
| `bytes
| `chain_id
| `chest
| `chest_key
| `contract of 'a
| `int
| `key
| `key_hash
| `l2_address
| `lambda of 'a * 'a
| `map of 'a * 'a
| `mutez
| `nat
| `never
| `operation
| `option of 'a
| `or_ of 'a * 'a
| `sapling_state of Proto.A.zarith
| `sapling_transaction of Proto.A.zarith
| `seq of 'a
| `signature
| `string
| `timestamp
| `ticket of 'a
| `tuple of 'a list
| `unit

]

val type_aux_enc : 
  'a Proto.Encoding.encoding ->
  'a type_aux Proto.Encoding.encoding

type ftype = {

name : string option;
typ : ftype type_aux;

}

val ftype_enc : ftype Proto.Encoding.encoding

type stype = stype type_aux

val stype_enc : stype Proto.Encoding.encoding

val get_name_annots : string list -> string option

val parse_type : 
  Proto.micheline ->
  (ftype, [> `unexpected_michelson ]) Stdlib.result

val parse_value : 
  stype ->
  Proto.micheline ->
  (value,
    [> `end_of_bytes of int
    | `unexpected_michelson
    | `unexpected_tag of string * int ])
    Stdlib.result

val search_value : name:string -> ftype -> value -> value option

val search_values : 
  names:string list ->
  ftype ->
  value ->
  (string * value) option

val short : ftype -> stype

val named_micheline_type : ?name:string -> stype -> ftype

val to_michelson : value -> Proto.micheline