binds the contract to its var

(defn -minus- (x y (- x y)))

(do (bind (contract #‘-minus- [])) (bound? #’-minus-)) => true

checks if contract is bound to var

(bound? #’-add-) => false

(bound? #’-contract-) => false

(bound? -contract-) => false

defines a contract given var and arguments

returns the contract info

(-> (contract #’-add- [] nil) (contract-info)) => map?

invokes the contract

(-> (contract #’-add- [] nil) (contract-invoke 1 2)) => 3

checks if var contains a contract

(contract-var? #’-add-) => false

(contract-var? #’-contract-) => true

checks if object is a contract

defines a contract

(type/defspec integer?)

(defcontract -add- :inputs )

(-add- 0.5 0.5) => (throws)

parses an input/output arg

(type/defspec number?)

(parse-arg { :strict})

unbinds the contract to its var

(do (unbind #‘-minus-) (bound? #’-minus-)) => false