Testable (mavkit-protocol-alpha-libs.Mavryk_alpha_test

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

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

val trace : Mavryk_base.TzPervasives.tztrace Alcotest.testable

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