The Intrinsic Library (intrinsics)

Collection of intrinsic Rel definitions.

Int

Int

64-bit signed integer type. Example: Int(1) is true.

Definition

@inline
def Int = rel_primitive_SignedInt[64]

UInt

UInt

64-bit unsigned integer type. Example: UInt(uint64[2]) is true. Uint(2) is false.

Definition

@inline
def UInt = rel_primitive_UnsignedInt[64]

Float

Float

64-bit floating point number type. Example: Float(2.0) is true.

Definition

@inline
def Float = rel_primitive_Floating[64]


// Forward declarations of control relations.

def output = false
def abort = false
def insert = false
def delete = false
def export = false
def _internal_ic_violation = false