Skip to content

Exists ​

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.

Existential quantifier (there exists): true when the predicate holds for at least one value.

FungrimExistsWolfram LanguageExists
Exists(value, boolean) -> booleanas compute-engine declares it
Typed signatures
TypePackageApplies
(value, boolean) -> booleancompute-enginealways

Domain: Compute engine

About
CrosswalkFungrimWolfram Language