Longfellow ZK 0290cb32
Loading...
Searching...
No Matches
proofs::term Struct Reference

Data Structures

struct  assert0_type_hack

Public Types

using size_t_for_storage = uint32_t

Public Member Functions

 term (size_t ki, size_t op0, size_t op1)
 term (size_t op, assert0_type_hack &hack)
bool ltndx (const term &y) const
bool eqndx (const term &y) const
bool constant () const
bool linearp () const
bool operator== (const term &y) const

Data Fields

size_t_for_storage ki
size_t_for_storage op0
size_t_for_storage op1

The documentation for this struct was generated from the following file: