CurryInfo: spicey-4.2.0 / Spicey.GenerationHelper.hrefSmallButtonName

definition:
hrefSmallButtonName :: QName
hrefSmallButtonName = (bootstrapModule, "hrefPrimBadge")
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
-- Name of hrefSmallButton operation:
failfree:
()
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{() |-> {(,)}}
name:
hrefSmallButtonName
precedence:
no precedence defined
result-values:
{(,)}
signature:
(String, String)
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms