sig
  val deanonymize :
    GlobalData.class_data ->
    Sast.class_def list ->
    (GlobalData.class_data * Sast.class_def list,
     GlobalData.class_data_error)
    Util.either
end