bool -> SilcBool