DiagrammedAssertionsMacro

class Object
trait Matchable
class Any

Value members

Concrete methods

def assert(condition: Expr[Boolean], prettifier: Expr[Prettifier], pos: Expr[Position], clue: Expr[Any])(using Quotes): Expr[Assertion]
def assume(condition: Expr[Boolean], prettifier: Expr[Prettifier], pos: Expr[Position], clue: Expr[Any])(using Quotes): Expr[Assertion]