According to Anton, there is no exact scheme equivalent to Common Lisp deftype. See CLHS: Type Specifiers for a description of what a type specifier can be in Common Lisp. They are used in declarations, array type specifications, structure slot and CLOS specifications, specialization of universal function arguments, and so on. Porting this to a circuit will usually be a monumental task. Your best hope is that types defined deftypeare only used trivially (or not at all!).
source
share