Module kind 

The kind module has all relevant types related to progressive type checking.

Modules

get

All types related to finding a Kind nested into another one.

insert

All types related to inserting one Kind into another.

merge

All types related to merging one Kind into another.

remove

All code related to removing from a Kind.

Structs

Collection

The kinds of a collection (e.g. array or object).

Field

A field type that can be used in Collection<Field>

Index

An index type that can be used in Collection<Index>

Kind

The type (kind) of a given value.

Unknown

The type-state of “unknown” values in a collection.