module

Horn::Strategies::HT::Logic

Inherits Horn::Values

Class methods

ht_le(v1, v2)
Source
is_total?(interp : Interpretation) : Bool
Source
is_total?(v) : Bool
Source
truth_le(v1, v2)
Source