type(ok and true)
