Assume

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.

Record an assumption about a symbol. Evaluates to the outcome as a string: "ok", "tautology", "contradiction", "not-a-predicate" or "internal-error".

Assume(any) scope -> stringas compute-engine declares it

Typed signatures

Type	Package	Applies
(any) scope -> string	compute-engine	always

Domain: Compute engine

About