examples

package
v0.0.0-...-098bcb6 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Nov 13, 2024 License: MIT Imports: 1 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func Abs 

func Abs(input int) int

guarantee: forall e0. e0.ret0 >= 0 guarantee: forall e0 e1. !(e0.input >= e1.input) || (e0.ret0 >= e1.ret0)

func Retain 

func Retain(lowIn, highIn int) (lowOut, highOut int)

guarantee: forall e0 e1. !(e0.highIn == e1.highIn) || (e0.lowOut == e1.lowOut)

Types

This section is empty.

Source Files

View all Source files

Directories

Path Synopsis

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.