Property package:clash-prelude

A property is a temporal or basic assertion that's specified to either used as an _assert_ or _cover_ statement. See assert and cover.
A property is a temporal or basic assertion that's specified to either used as an _assert_ or _cover_ statement. See assert and cover.
Internal version of Property. All user facing will instantiate a with (Maybe Text, Signal dom Bool). Blackboxes will instantiate it with (Maybe Text, Term) instead.