def gt_head

bend-ml-tensor-array@0.1.19.0 · main.bend:484

import Base

484def gt_head(xs: List<&2, F32>, +v: F32) -> Bool:
485  match xs:
486    case Nil{}:
487      False{}
488    case Con{+h, t}:
489      F32.is_gt(h, v)