~/jendhub

def subtract_distinct

stelliferous@0.0.2.0 · proofs/storage_address_bounds.bend:102

import stelliferous@0.0.2.0/proofs/storage_address_bounds.bend as StorageAddressBounds
import Base

102def subtract_distinct(+left: U32,+right: U32,+offset: U32,different: {U32.is_eq(left,right) == False{} : Bool}) ->
103  {U32.is_eq((left - offset : U32),(right - offset : U32)) == False{} : Bool}:
104  subtract_compared(left,right,offset,U32.is_eq((left - offset : U32),(right - offset : U32)),{==},different)

Uses (5)

Used by (1)