chickadee
»
dbc
»
contract-location
Identifier search
contract-location
cnd
procedure
function
(
result
)
requires
(
contract-condition? cnd
)
ensures
(
symbol? result
)