add include header in morphism-base

2025-03-15 18:28:57 +01:00 · 2025-03-15 18:28:57 +01:00 · 5a64334b1d
commit 5a64334b1d
parent 5993923338
4 changed files with 25 additions and 4 deletions
--- a/morphisms/digit.morphism-base
+++ b/morphisms/digit.morphism-base
@ -1,3 +1,6 @@
+```
+```
+
 morph_digit_as_char_to_uint8 (Radix:ℤ)
      <Digit Radix> ~ Char ~ Ascii ~ x86.UInt8
 -->   <Digit Radix> ~ x86.UInt8
--- a/morphisms/length_prefix.morphism-base
+++ b/morphisms/length_prefix.morphism-base
@ -1,3 +1,7 @@
+```
+#include <array/length-prefix.h>
+```
+
 morph_array_as_valterm_to_lenpfx (Terminator:x86.UInt8)
    <Seq~<ValueTerminated Terminator> x86.UInt8>
 --> <Seq~<LengthPrefix x86.UInt64> x86.UInt8>
--- a/morphisms/posint.morphism-base
+++ b/morphisms/posint.morphism-base
@ -1,3 +1,6 @@
+```
+#include <array/length-prefix.h>
+```

 morph_nat_as_u64_to_pos ()
      ℕ