Синтаксис базовых c для условных операторов: подразумевает :
cond => expr [ else expr ]
Вы также можете использовать:
cond implies expr [ else expr ]
Однако убедитесь, что вы понимаете логические правила для подразумевает /=>.
Это звучит довольно фундаментальная программа; Вы читали книгу Дэниела Джексона ? Вы смотрели на простые примеры, например в модели репо ?