bendtorch-core

Releases (1)

• 0.1.0.0 indexed

Definitions (5,204)

src/shape/index_proofs.bend

• def left_value
• def shift_value
• def pack_value
• def unpack_pack
• def pack_lift
• def pack_unpack_step
• def pack_unpack
• def flatten_unflatten_step
• def flatten_unflatten
• def unflatten_flatten
• def flatten_row_major

src/shape/nat_proofs.bend

• def contradiction
• def le_true
• def lt_true
• def le_add_left
• def le_rewrite
• def add_swap
• def mul_succ_right
• def mul_zero_right
• def mul_one_right
• def mul_comm
• def mul_add_right
• def mul_assoc
• def lt_zero
• def lt_le
• def drain
• def remainder
• def periods
• def divmod_exact

src/shape/plan_proofs.bend

• def plan_construct
• def plan_align
• def broadcast_checked_plan
• def some_injective
• def some_none
• def is_eq_refl
• def eq_true
• def sub_balance
• def choice_output
• def aligned_output
• def some_nat
• def axis_right_complete
• def axis_left_complete
• def axis_equal_complete
• def axis_complete
• def align_step_complete
• def align_complete
• def complete_construct
• def complete_align
• def padded_words
• def broadcast_checked_complete

src/shape/projection_proofs.bend

• def strides_of
• def zeros
• def dot
• def lt_zero_false
• def walk_left_rows
• def walk_right_rows
• def pad_strides
• def dot_zeros
• def digits_length
• def axis_term
• def dot_broadcast
• def padding_of
• def left_padded
• def right_padded
• def walk_left_value
• def walk_right_value

src/shape/unique_proofs.bend

• def pred
• def positive
• def succ_injective
• def cancel_right
• def absorb
• def succ_zero
• def sum_zero
• def balance
• def crossed
• def unpadded
• def left_padding_equal
• def axis_unique
• def aligned_unique
• def retype
• def broadcast_unique

src/storage/LAWS.bend

• law write_read
• law update_frame
• law read_refines
• law read_retains
• law primitive_update_frame
• law path_self_same
• law primitive_write_read
• def outcome
• def size
• def owner
• def read
• def kept
• def written
• def status
• def created.of
• def created
• def refused.of
• def refused
• def first