_System

Documentation

Index

• Variables
• func Type_Nat_() _dafny.TypeDescriptor
• type CompanionStruct_Nat_
  • func (_this *CompanionStruct_Nat_) Is_(__source _dafny.Int) bool
• type Dummy__
• type Nat
  • func New_Nat_() *Nat
  • func (*Nat) String() string

Variables

var Companion_Nat_ = CompanionStruct_Nat_{}

Functions

func Type_Nat_

func Type_Nat_() _dafny.TypeDescriptor

Types

type CompanionStruct_Nat_

type CompanionStruct_Nat_ struct {
}

func (*CompanionStruct_Nat_) Is_

func (_this *CompanionStruct_Nat_) Is_(__source _dafny.Int) bool

type Dummy__

type Dummy__ struct{}

type Nat

type Nat struct {
}

Definition of class Nat

func New_Nat_

func New_Nat_() *Nat

func (*Nat) String

func (*Nat) String() string