~/jendhub

law Map.diff

Base · base.bend:2707

import Base
2707law Map.diff:
2708  for a: String
2709  for b: String
2710  Nat

Uses (4)

Used by (12)