@andrea.crotti effettivamente la doc ufficiale dice solo che [deftype and defrecord] generate a unique class, with fields corresponding to the given names

quindi i fields sono accessibili con la sintassi per interop, come hai scoperto

Eh si è semplice ma li uso talmente poco