Then

object Then: If

Fields

Name Description
val body: Term