03.Answer

answerkey/testing/03.answer.md

latest141 B

scala

trait Prop:
  self =>
  def check: Boolean
  def &&(that: Prop): Prop =
    new Prop:
      def check = self.check && that.check