lilleman 9357abb279 Move DataType into internal/datatype, aliased by the root, and what a proof knows of a value into internal/proven

2026-10-05 16:30:28 +02:00

..

proven_test.go

Test internal/datafiles, internal/datatype, internal/proven and internal/builtinfunc, and allow the root to import them

2026-10-05 16:30:28 +02:00

proven.go

Move DataType into internal/datatype, aliased by the root, and what a proof knows of a value into internal/proven

2026-10-05 16:30:28 +02:00