tezos-protocol-016-PtMumbai.raw
Tezos_raw_protocol_016_PtMumbai.Script_comparable
tezos-protocol-016-PtMumbai
tezos-protocol-016-PtMumbai.environment
tezos-protocol-016-PtMumbai.lifted
tezos-protocol-016-PtMumbai.parameters
val compare_comparable : 'a Script_typed_ir.comparable_ty -> 'a -> 'a -> int
val compare_address : Script_typed_ir.address -> Script_typed_ir.address -> int
val compare_tx_rollup_l2_address : Script_typed_ir.tx_rollup_l2_address -> Script_typed_ir.tx_rollup_l2_address -> int