StandardLibraryInterop

Documentation

Index

• Variables
• func Type_WrappersInterop_() _dafny.TypeDescriptor
• type CompanionStruct_WrappersInterop_
  • func (_static *CompanionStruct_WrappersInterop_) CreateBooleanNone() m_Wrappers.Option
  • func (_static *CompanionStruct_WrappersInterop_) CreateBooleanSome(b bool) m_Wrappers.Option
  • func (_static *CompanionStruct_WrappersInterop_) CreateStringNone() m_Wrappers.Option
  • func (_static *CompanionStruct_WrappersInterop_) CreateStringSome(s _dafny.Sequence) m_Wrappers.Option
• type Dummy__
• type WrappersInterop
  • func New_WrappersInterop_() *WrappersInterop
  • func (_this *WrappersInterop) Equals(other *WrappersInterop) bool
  • func (_this *WrappersInterop) EqualsGeneric(x interface{}) bool
  • func (_this *WrappersInterop) ParentTraits_() []*_dafny.TraitID
  • func (*WrappersInterop) String() string

Variables

var Companion_WrappersInterop_ = CompanionStruct_WrappersInterop_{}

Functions

func Type_WrappersInterop_

func Type_WrappersInterop_() _dafny.TypeDescriptor

Types

type CompanionStruct_WrappersInterop_

type CompanionStruct_WrappersInterop_ struct {
}

func (*CompanionStruct_WrappersInterop_) CreateBooleanNone

func (_static *CompanionStruct_WrappersInterop_) CreateBooleanNone() m_Wrappers.Option

func (*CompanionStruct_WrappersInterop_) CreateBooleanSome

func (_static *CompanionStruct_WrappersInterop_) CreateBooleanSome(b bool) m_Wrappers.Option

func (*CompanionStruct_WrappersInterop_) CreateStringNone

func (_static *CompanionStruct_WrappersInterop_) CreateStringNone() m_Wrappers.Option

func (*CompanionStruct_WrappersInterop_) CreateStringSome

func (_static *CompanionStruct_WrappersInterop_) CreateStringSome(s _dafny.Sequence) m_Wrappers.Option

type Dummy__

type Dummy__ struct{}

type WrappersInterop

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

Definition of class WrappersInterop

func New_WrappersInterop_

func New_WrappersInterop_() *WrappersInterop

func (*WrappersInterop) Equals

func (_this *WrappersInterop) Equals(other *WrappersInterop) bool

func (*WrappersInterop) EqualsGeneric

func (_this *WrappersInterop) EqualsGeneric(x interface{}) bool

func (*WrappersInterop) ParentTraits_

func (_this *WrappersInterop) ParentTraits_() []*_dafny.TraitID

func (*WrappersInterop) String

func (*WrappersInterop) String() string