prelude: :gerbil/compiler/ssxi
package: std/misc

(begin
  (declare-type std/misc/rtd#checked-object-type (@lambda 1 #f))
  (declare-type std/misc/rtd#type? (@lambda 1 ##type?))
  (declare-type std/misc/rtd#type-id (@lambda 1 #f))
  (declare-type std/misc/rtd#type-name (@lambda 1 #f))
  (declare-type std/misc/rtd#type-super (@lambda 1 #f))
  (declare-type std/misc/rtd#checked-type-descriptor-mixin (@lambda 1 #f))
  (declare-type std/misc/rtd#checked-type-descriptor-fields (@lambda 1 #f))
  (declare-type std/misc/rtd#checked-type-descriptor-plist (@lambda 1 #f))
  (declare-type std/misc/rtd#checked-type-descriptor-ctor (@lambda 1 #f))
  (declare-type std/misc/rtd#checked-type-descriptor-slots (@lambda 1 #f))
  (declare-type std/misc/rtd#checked-type-descriptor-methods (@lambda 1 #f)))
