Parameter `Compat._`

val equal : 
  Types.constructor_description ->
  Types.constructor_description ->
  bool