laurelang
laurelang copied to clipboard
Feature: predicate constructors
(map_abs(arr) = x) ~ (map(arr, absolute) = x)