Commit 41789c7120c1231d0b8f1bfdf61831f6157a920f

Thomas de Grivel 2024-06-15T13:38:56

move defstruct functionality from .facts files to .c3 files