Export (octez-libs.Tezos_scoru_wasm.Binary_parser

val expkstart_case : 
  (string, Tezos_webassembly_interpreter.Decode.export_kont)
    Tezos_tree_encoding.case

val expkname_case : 
  (string, Tezos_webassembly_interpreter.Decode.export_kont)
    Tezos_tree_encoding.case

val export_encoding : 
  Tezos_webassembly_interpreter.Ast.export' Tezos_tree_encoding.t

val expkstop_case : 
  (string, Tezos_webassembly_interpreter.Decode.export_kont)
    Tezos_tree_encoding.case

val tags_encoding : string Tezos_tree_encoding.t

val encoding : 
  Tezos_webassembly_interpreter.Decode.export_kont Tezos_tree_encoding.t