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 Advanced features Overloaded specs Experimental and expert features Shortcomings and limitations Reference of errors