MatchesType

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.

True iff the first operand, EVALUATED, is a value of the given type — the engine form of the Epsil x is T test and of match type patterns, which both lower here. The subject is never unwrapped: a type VALUE is a value like any other, so MatchesType(TypeFrom("integer"), "number") is False while MatchesType(TypeFrom("integer"), "type") is True; the type-to-type question is Subtype. A settled subject is decided both ways; a valueless or unresolved subject answers from its static type when that decides it, and stays symbolic otherwise.

MatchesType(subject: any, type: string | type) -> booleanas compute-engine declares it

Typed signatures

Type	Package	Applies
(subject: any, type: string | type) -> boolean	compute-engine	always

Domain: Compute engine

About