# File: AngularDifference.l.t

use AngularDifference;
use Test::LectroTest;

Property {
    ##[ a <- Int, diff <- Int(range=>[-180,180]) ]##
    angdiff($a, $a + $diff) == abs($diff)
}, name => "angdiff holds to defn of angular difference";