utilities

Function summary
get-properly-binding-name	binding
make-default-cxn-set
make-initial-cxn-set	&key configurations init-cxns original-cxn-set

Macro summary
def-constructions	name &body keys-and-defs
test-match	pattern source &key bindings type (fn (quote unify))
test-merge	pattern source &key bindings type

*constructions*

[Variable]

The default construction-set.

make-default-cxn-set

[Function]

Build a default construction-set.

make-initial-cxn-set

&key configurations init-cxns original-cxn-set

[Function]

For making an initial construction-set.

get-properly-binding-name

binding

[Function]

test-match

pattern source &key bindings type (fn (quote unify))

[Macro]

Helper macro for manually testing matching.

test-merge

pattern source &key bindings type

[Macro]

Helper macro for manually testing merging.

def-constructions

name &body keys-and-defs

[Macro]