2 Commits

Author	SHA1	Message	Date
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
lilleman	83e4daefdb	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