Testable (octez-protocol-023-PtSeouLo-libs.Tezos_023_PtSeouLo_test

val contract : 
  Tezos_protocol_023_PtSeouLo.Protocol.Alpha_context.Contract.t
    Alcotest.testable

val script_expr : 
  Tezos_protocol_023_PtSeouLo.Protocol.Alpha_context.Script.expr
    Alcotest.testable

val trace : Tezos_base.TzPervasives.tztrace Alcotest.testable

val protocol_error : 
  Tezos_protocol_023_PtSeouLo.Environment.Error_monad.error Alcotest.testable