Quellcode-Bibliothek sigma_fseq_3D.prf   Interaktion und
PortierbarkeitLisp

java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
( java.lang.StringIndexOutOfBoundsException: Range [47, 43) out of bounds for length 67
 java.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 14
  sigma_TCC2 ( s- 
   ((int_minus_int_is_int application-judgement "int" integers nil--from-java.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 48
    real_ge_is_total_ordername-(otal_orderreal]"
     real_props nil))
   nil))
 (sigma_TCC3 0
  (sigma_TCC3-1 nil 3563272396 ("" (assuming-tcc) nil nil)
   ((boolean nonempty-type-decl nil booleans nil)
    (bool nonempty-type-eq-decl nil booleans nil)
    (NOT const-decl "[bool -> bool]" booleans nil)
    (number nonempty-type-decl nil numbers nil)
    (number_field_pred const-decl "[number -> boolean]" number_fields
     )
     nonemptytype-- java.lang.StringIndexOutOfBoundsException: Range [60, 59) out of bounds for length 64
    (real_pred const-declreal_le_is_total_order "total_order[])java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
    (real nonempty-type-from-decl nil reals nil)
    (>= const-decl "bool" reals nil)
    (rational_pred const-decl "[real -> boolean]" rationals nil)
    (rational nonempty-type-from-decl nil rationals nil)
    (integer_pred const-decl "[rational -> boolean]" integers nil)
    (int nonempty-type-eq-decl nil integers nil)
    (nat nonempty-type-eq-decl nil naturalnumbers nil)
    (integer nonempty-type-from-decl nil integers nil)
    (real_le_is_total_order name-judgement "(total_order?[real])"
     real_props nil)
    (real_ge_is_total_order name-judgement "(total_order?[real])"
     real_props nil))
   nil)))