src/tensor/word_conversion_PROOF.bend

bendtorch-core@0.1.0.0 · 39 lines · 0 definitions

1import Base
2import bendtorch-core@0.1.0.0/src/tensor/word_conversion.bend as Conversion
3import bendtorch-core@0.1.0.0/src/tensor/word_conversion_LAWS.bend as Laws
4
5def Laws.word_increment_exact(width, word, zero):
6  Conversion.word_increment_exact(width, word, zero)
7
8def Laws.increment_below_exact(word, limit, below):
9  Conversion.increment_below_exact(word, limit, below)
10
11def Laws.natural_word_exact(number, limit, within):
12  Conversion.natural_word_exact(number, limit, within)
13
14def Laws.word_natural_exact(word):
15  Conversion.word_natural_exact(word)
16
17def Laws.naturals_words_fitting(dims, values, fit):
18  Conversion.naturals_words_fitting(dims, values, fit)
19
20def Laws.word_increment_le(width, word):
21  Conversion.word_increment_le(width, word)
22
23def Laws.increment_le(word):
24  Conversion.increment_le(word)
25
26def Laws.natural_word_le(number):
27  Conversion.natural_word_le(number)
28
29def Laws.capacity_word_nat():
30  Conversion.capacity_word_nat()
31
32def Laws.capacity_natural_word_exact(number, within):
33  Conversion.capacity_natural_word_exact(number, within)
34
35def Laws.shape_count_exact(shape):
36  Conversion.shape_count_exact(shape)
37
38def Laws.shape_count_within(shape):
39  Conversion.shape_count_within(shape)