DefaultCMM

package
v0.1.0 Latest Latest
Warning

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

Go to latest
Published: Jan 15, 2025 License: Apache-2.0 Imports: 102 Imported by: 17

Documentation

Index

Constants

This section is empty.

Variables

View Source
var Companion_DefaultCMM_ = CompanionStruct_DefaultCMM_{}

Functions

func Type_DefaultCMM_

func Type_DefaultCMM_() _dafny.TypeDescriptor

Types

type CompanionStruct_DefaultCMM_

type CompanionStruct_DefaultCMM_ struct {
}

type DefaultCMM

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

Definition of class DefaultCMM

func New_DefaultCMM_

func New_DefaultCMM_() *DefaultCMM

func (*DefaultCMM) CryptoPrimitives

func (_this *DefaultCMM) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*DefaultCMM) Equals

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

func (*DefaultCMM) EqualsGeneric

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

func (*DefaultCMM) Keyring

func (*DefaultCMM) ParentTraits_

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

func (*DefaultCMM) String

func (*DefaultCMM) String() string

type Dummy__

type Dummy__ struct{}

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL