examples

Documentation

Index

• Variables
• func Foo(a, b int) (x, y int)
• type Retain_ExecutionModel

Variables

var Retain_Contract sopher.AGHyperContract[Retain_ExecutionModel] = sopher.NewAGHyperContract(
	[]sopher.HyperAssertion[Retain_ExecutionModel]{},
	[]sopher.HyperAssertion[Retain_ExecutionModel]{},
)

Functions

func Foo

func Foo(a, b int) (x, y int)

assume: ... guarantee: ...

Types

type Retain_ExecutionModel

type Retain_ExecutionModel struct {
	// contains filtered or unexported fields
}