src/Pure/Thy/thy_load.ML

   val check_thy: string -> bool -> (Path.T * File.info) list
   val deps_thy: string -> bool -> (Path.T * File.info) list * (string list * Path.T list)
   val load_thy: string -> bool -> bool -> (Path.T * File.info) list
 end;
 
+(*backdoor sealed later*)
 signature PRIVATE_THY_LOAD =
 sig
   include THY_LOAD
   val deps_thy_fn: (string -> bool -> Path.T -> string list * Path.T list) ref
   val load_thy_fn: (string -> bool -> bool -> Path.T -> unit) ref