Elmar

Thank you! Slightly off-topic: is "sizeof" the type-specific pendant to "header._sizeof" ?

This is awesome. I didn't spend much time looking into the code. Is a "reverse solver" in service for valid-expressions to yield imperative meaning? This would be great! And definitely...

Yes, I meant using `valid` as a logic-programming facility, which generates serialization code which satisfies the formula at runtime or throws an error if impossible. Although it would be a...

I forked Kaitai Struct Doc and pushed my branch to it. What do I need to do now? Here it is: https://github.com/krisutofu/kaitai_struct New branch name is `944-valid-documentation`. Btw, I didn't...

> It is one of the long-term goals to automatically derive serialization code. See #27 for more info. Yes, a complicated topic. But it's possible at the moment to just...

I found out that it will only pay attention to the first `valid` key of the field but ignore the others. ```yaml seq: - id: first_byte type: u1 valid: eq:...

> ... > in JavaScript it'd look like > > ```js > let field = {}; > .... > field.valid = {eq: 0x00}; > field.valid = 0x01; > ``` >...

> ... Instead, you can either use `E ∈ { ℤ×ℤ } index` or making sure the parameters are larger than 0. Crazy, I didn't know the `index` annotation. However,...

> I accidentally discovered that this was a thing. When will the relevant keywords be added to the docs and the YAML schema (the kaitai-struct-vscode plugin uses it). Which version...

> A lot of what you mention that needs to be added is simply [standard Kotlin setup for Maven](https://kotlinlang.org/docs/maven.html). I'm surprised that IntelliJ does not export them. Does the project...