Spectre Docs

Skip to content

Main Navigation Home

Appearance

Sidebar Navigation

Meta

Installation

About

Fundamentals

Variables

Types

Functions

Control Flow

Pattern Matching

Modules and Imports

Error Handling

Interfaces/Specifications

Generics

Type-Argument Constraints

Tagged Unions

DbC Concepts

Preconditions

Postconditions

Invariants

Assertions

Trust Propagation

Intrinsics

@fmt

@len

@addr

@deref

@alloc

@free

@memcpy

@memset

@memmove

@puts

@print

@zeroed

@args

@bitcast

@load

@load8

@call

@snprintf

@dprintf

@reserve

@get

@insert

@capacity

@ptradd

@store

@store8

@staticerror

@flush

@stdin

@stdout

@fgets

@atoi

@itoa

On this page

Pointer addition between two operands.

Pager

Previous page@capacity

Next page@store