156 fun is_ex (Const ("Ex", _) $ Abs _) = true

   156 fun is_ex (Const ("Ex", _) $ Abs _) = true

   157   | is_ex _ = false;

   157   | is_ex _ = false;

   158 *}

   158 *}

   159 

   159 

   160 ML {*

   160 ML {*

   162   | dtyp_no_of_typ _ (TVar _) = error "dtyp_no_of_typ: Illegal schematic"

   162   | dtyp_no_of_typ _ (TVar _) = error "dtyp_no_of_typ: Illegal schematic"

   164       case try (find_index (curry op = tname o fst)) dts of

   164       case try (find_index (curry op = tname o fst)) dts of

   165         NONE => error "dtyp_no_of_typ: Illegal recursion"

   165         NONE => error "dtyp_no_of_typ: Illegal recursion"

   166       | SOME i => i

   166       | SOME i => i

   167 *}

   167 *}

   168 

   168