package octez-protocol-016-PtMumbai-libs
val seq :
loc:'a ->
('b, 'c) Tezos_micheline.Micheline.node list ->
('b, 'c) Tezos_micheline.Micheline.nodeval pair :
loc:'a ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.node ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.node ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.nodeval none :
loc:'a ->
unit ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.nodeval int : loc:'a -> Z.t -> ('b, 'c) Tezos_micheline.Micheline.nodeval bytes : loc:'a -> Bytes.t -> ('b, 'c) Tezos_micheline.Micheline.nodeval unit_t :
loc:'a ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.nodeval unit :
loc:'a ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.nodeval lambda_from_string :
string ->
((Tezos_micheline.Micheline.canonical_location,
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.node,
Tezos_error_monad.Error_monad.tztrace)
resultval lambda_t :
loc:'a ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.node ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.node ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.nodeval operation_t :
loc:'a ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.nodeval operations_t :
loc:'a ->
('b, Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.prim)
Tezos_micheline.Micheline.node