Cleaned up the structure defknowns. Use structure-index instead of index
flushed the defknown for structurify, and added one for make-structure.
Please register or sign in to comment
flushed the defknown for structurify, and added one for make-structure.