sig
  val ast_to_sast_klass :
    GlobalData.class_data -> Ast.class_def -> Sast.class_def
  val ast_to_sast : GlobalData.class_data -> Sast.class_def list
  val update_refinements :
    GlobalData.class_data -> Sast.class_def list -> Sast.class_def list
end