ExistsUnique

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.

Unique existential quantifier (there exists exactly one value satisfying the predicate).

ExistsUnique(value, boolean) -> booleanas compute-engine declares it

Typed signatures

Type	Package	Applies
(value, boolean) -> boolean	compute-engine	always

Domain: Compute engine

About