{"size": 1067, "ext": "scrbl", "max_stars_repo_path": "scribblings/types.scrbl", "max_stars_repo_name": "pmatos/racket-binaryen", "max_stars_repo_stars_event_min_datetime": "2021-03-01T10:18:31.000Z", "max_stars_repo_stars_event_max_datetime": "2022-01-27T00:09:14.000Z", "max_issues_repo_path": "scribblings/types.scrbl", "max_issues_repo_name": "pmatos/racket-binaryen", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "scribblings/types.scrbl", "max_forks_repo_name": "pmatos/racket-binaryen", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": 12, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 20.5192307692, "max_line_length": 144, "alphanum_fraction": 0.6916588566}
#lang scribble/manual

@title{Types}

Types refer to WebAssembly types such as @tt{int32}, @tt{int64}, etc. There are basic types and ways to aggregate a type from these basic types.

@defproc[(type? [x any/c]) boolean?]{
 Predicate to check if value @racket[x] is a WebAssembly type.}

@defthing[type-none type?]{
 The type @tt{None}.}

@defthing[type-int32 type?]{
 The type @tt{Int32}.}

@defthing[type-int64 type?]{
 The type @tt{Int64}.}

@defthing[type-float32 type?]{
 The type @tt{Float32}.}

@defthing[type-float64 type?]{
 The type @tt{Float64}.}

@defthing[type-vec128 type?]{
 The type @tt{Vec128}.}

@defthing[type-funcref type?]{
 The type @tt{Funcref}.}

@defthing[type-externref type?]{
 The type @tt{Externref}.}

@defthing[type-anyref type?]{
 The type @tt{Anyref}.}

@defthing[type-eqref type?]{
 The type @tt{Eqref}.}

@defthing[type-i31ref type?]{
 The type @tt{I31ref}.}

@defthing[type-dataref type?]{
 The type @tt{Dataref}.}

@defthing[type-unreachable type?]{
 The type @tt{Unreachable}.}

@defthing[type-auto type?]{
 The type @tt{Auto}.}

