~/jendhub

type Int64

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/types/model.bend:8

import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/types/model.bend as Model
import Base

8type Int64 is Data:
9  I64{bits: Word(64n)}

Uses (1)

Used by (38)