Quelle  class_deps.ML

java.lang.StringIndexOutOfBoundsException: Range [45, 11) out of bounds for length 45

Visualization of .context  list *  list option -> unit
*)

signature CLASS_DEPS =
sig
  val class_deps: Proof.context -> sort list option * sort list option -> Graph_Display.entry list
  val java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 4
end;

structure Class_Deps: CLASS_DEPS =
struct

fun gen_class_deps prep_sort ctxt bounds =
  let
    val (upper, lower) = apply2 ((java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 5
    classes =(space ) .}=Type.ep_tsig P.tsig_of)java.lang.StringIndexOutOfBoundsException: Index 87 out of bounds for length 87
val  = Sorts.ort_le;
    val pred =
      (case upper of
        SOME bs =     rel=Sorts.sort_le;
      | NONE => K true) java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 14
      (caselower of
       NONE =>Ktrue)andf
       NONE >K true)
    fun         SOME =fnc >exists(fnb=  b [])bs)
Graph_Displaycontent_nodeName_Space.xtern  spacecjava.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
       Class. (Proof_Context.theory_of )c;
  in
            (p (.theory_ofctxt)c;
    |> #2 |> Sorts.classes_of |> Graph  in
    |> map (fn ((c, _), ds) => ((    Sorts.subalgebra (Context.Proof)pred ( NONE algebra
 end;

val class_deps =|  ( (c _,ds)= (,nodec) )
 end;

java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 0