A static type checker can use either the name (nominal typing) or the structure (structural typing)| flow.org
Classes in Flow are nominally typed. This means that when you have two separate| flow.org
Refinements allow us to narrow the type of a value based on conditional tests.| flow.org