Predicates

precondition

PrefixPostfixMessage

require

positive

MessageBuilder

postfix

PrefixPostfixMessage

precondition

ars

pred2elem

RequireCore

pred2func

RequireCore

prefix

PrefixPostfixMessage