proof

package
v0.1.125 Latest Latest
Warning

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

Go to latest
Published: Oct 30, 2023 License: Apache-2.0 Imports: 8 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

This section is empty.

Types

type Resolver

type Resolver struct {
	*agent.Resolver
	// contains filtered or unexported fields
}

func NewResolver

func NewResolver(db store.DB, agentResolver *agent.Resolver) *Resolver

func (*Resolver) Connection

func (r *Resolver) Connection(ctx context.Context, obj *model.Proof) (c *model.Pairwise, err error)

func (*Resolver) Provable

func (r *Resolver) Provable(ctx context.Context, obj *model.Proof) (res *model.Provable, err error)

Jump to

Keyboard shortcuts

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