Technical documentationOn this pageTechnical documentation Syntax of types and specs in eqWAlizer Gradual typing Narrowing and occurrence typing Narrowing Occurrence typing Generics and type inference Subtyping in eqWAlizer Escape hatches Overriding specs and types from third-party libraries Advanced features Overloaded specs Experimental and expert features Shortcomings and limitations Reference of errors