WhoCites Definitions graph 1 3 Sections Graphs Doc

Who Cites case mk adjmatrix?
case_mk_adjmatrixDef Case mk_adjmatrix(size,adj) = > body(size;adj)(x,z) == x/x2,x1. body(x2;x1)

Syntax:Case mk_adjmatrix(size,adj) = > body(size;adj) has structure: case_mk_adjmatrix(size,adj.body(size;adj))

About:
spreadapply!abstraction

WhoCites Definitions graph 1 3 Sections Graphs Doc