def head_ill_formed

bendtorch-core@0.1.0.0 · src/autograd/backward_PROOF.bend:472

import Base
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backward
import bendtorch-core@0.1.0.0/src/autograd/backward_LAWS.bend as Laws

472def head_ill_formed(+entry: Backward.Entry, +rest: List<&2, Backward.Entry>,
473  unbound: {Laws.bounded(Laws.targets(Laws.entry_node(entry)), List.length(&2, Backward.Entry, rest)) == False{} : Bool}) ->
474  {Laws.well_formed(Backward.nodes(entry <> rest)) == False{} : Bool}:
475  match entry:
476    case Backward.Entry{node, value, slot}:
477      %nodes_length(rest) :
478        {Bool.and(Laws.bounded(Laws.targets(node), _), Laws.well_formed(Backward.nodes(rest))) == False{} : Bool}
479      %Equal.sym(Bool, Laws.bounded(Laws.targets(node), List.length(&2, Backward.Entry, rest)), False{}, unbound) :
480        {Bool.and(_, Laws.well_formed(Backward.nodes(rest))) == False{} : Bool}
481      {==}