package tezos-protocol-004-Pt24m4xi
type type_logger =
int ->
(Alpha_context.Script.expr * Alpha_context.Script.annot) list ->
(Alpha_context.Script.expr * Alpha_context.Script.annot) list ->
unitval empty_set : 'a Script_typed_ir.comparable_ty -> 'a Script_typed_ir.setval set_fold :
('elt -> 'acc -> 'acc) ->
'elt Script_typed_ir.set ->
'acc ->
'accval set_update : 'a -> bool -> 'a Script_typed_ir.set -> 'a Script_typed_ir.setval set_mem : 'elt -> 'elt Script_typed_ir.set -> boolval set_size :
'elt Script_typed_ir.set ->
Alpha_context.Script_int.n Alpha_context.Script_int.numval empty_map :
'a Script_typed_ir.comparable_ty ->
('a, 'b) Script_typed_ir.mapval map_fold :
('key -> 'value -> 'acc -> 'acc) ->
('key, 'value) Script_typed_ir.map ->
'acc ->
'accval map_update :
'a ->
'b option ->
('a, 'b) Script_typed_ir.map ->
('a, 'b) Script_typed_ir.mapval map_mem : 'key -> ('key, 'value) Script_typed_ir.map -> boolval map_get : 'key -> ('key, 'value) Script_typed_ir.map -> 'value optionval map_key_ty :
('a, 'b) Script_typed_ir.map ->
'a Script_typed_ir.comparable_tyval map_size :
('a, 'b) Script_typed_ir.map ->
Alpha_context.Script_int.n Alpha_context.Script_int.numval big_map_mem :
Alpha_context.context ->
Alpha_context.Contract.t ->
'key ->
('key, 'value) Script_typed_ir.big_map ->
(bool * Alpha_context.context)
Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
Tezos_protocol_environment_004_Pt24m4xi.Lwt.tval big_map_get :
Alpha_context.context ->
Alpha_context.Contract.t ->
'key ->
('key, 'value) Script_typed_ir.big_map ->
('value option * Alpha_context.context)
Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
Tezos_protocol_environment_004_Pt24m4xi.Lwt.tval big_map_update :
'key ->
'value option ->
('key, 'value) Script_typed_ir.big_map ->
('key, 'value) Script_typed_ir.big_mapval ty_eq :
Alpha_context.context ->
'ta Script_typed_ir.ty ->
'tb Script_typed_ir.ty ->
(('ta Script_typed_ir.ty, 'tb Script_typed_ir.ty) eq * Alpha_context.context)
Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresultval parse_data :
?type_logger:type_logger ->
Alpha_context.context ->
'a Script_typed_ir.ty ->
Alpha_context.Script.node ->
('a * Alpha_context.context)
Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
Tezos_protocol_environment_004_Pt24m4xi.Lwt.tval parse_ty :
Alpha_context.context ->
allow_big_map:bool ->
allow_operation:bool ->
Alpha_context.Script.node ->
(ex_ty * Alpha_context.context)
Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresultval typecheck_data :
?type_logger:type_logger ->
Alpha_context.context ->
(Alpha_context.Script.expr * Alpha_context.Script.expr) ->
Alpha_context.context
Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
Tezos_protocol_environment_004_Pt24m4xi.Lwt.tval parse_script :
?type_logger:type_logger ->
Alpha_context.context ->
Alpha_context.Script.t ->
(ex_script * Alpha_context.context)
Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
Tezos_protocol_environment_004_Pt24m4xi.Lwt.tval parse_contract_for_script :
Alpha_context.context ->
Alpha_context.Script.location ->
'a Script_typed_ir.ty ->
Alpha_context.Contract.t ->
(Alpha_context.context * 'a Script_typed_ir.typed_contract option)
Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
Tezos_protocol_environment_004_Pt24m4xi.Lwt.tval extract_big_map :
'a Script_typed_ir.ty ->
'a ->
Script_typed_ir.ex_big_map optionval big_map_initialization :
Alpha_context.context ->
unparsing_mode ->
ex_script ->
(Alpha_context.Contract.big_map_diff option * Alpha_context.context)
Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
Tezos_protocol_environment_004_Pt24m4xi.Lwt.t