sig
  type out_value
  type out_type
  type out_class_type
  type out_module_type
  type out_sig_item
  type out_type_extension
  type out_phrase
end