The cl-annot-prove Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The cl-annot-prove Reference Manual

This is the cl-annot-prove Reference Manual, version 0.1, generated automatically by Declt version 2.3 "Robert April" on Wed Mar 14 03:07:21 2018 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

Cl-Annot-Prove - Annotation Syntax Test Library.

Build Status

API

See Document.
This HTML is generated by Codex.

Author

Copyright

Copyright (c) 2015 Rudolph Miller (chopsticks.tk.ppfm@gmail.com)

License

Licensed under the MIT License.


Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

The main system appears first, followed by any subsystem dependency.


Previous: , Up: Systems   [Contents][Index]

2.1 cl-annot-prove

Author

Rudolph Miller

Home Page

https://github.com/Rudolph-Miller/cl-annot-prove

License

MIT

Description

Annotation Syntax Test Library.

Long Description

# Cl-Annot-Prove - Annotation Syntax Test Library.
[![Build Status](https://circleci.com/gh/Rudolph-Miller/cl-annot-prove.svg?style=shield)](https://circleci.com/gh/Rudolph-Miller/cl-annot-prove)

## API

See [Document](https://rudolph-miller.github.io/cl-annot-prove/overview.html).
This HTML is generated by [Codex](https://github.com/CommonDoc/codex).

## Author

* Rudolph Miller (chopsticks.tk.ppfm@gmail.com)

## Copyright

Copyright (c) 2015 Rudolph Miller (chopsticks.tk.ppfm@gmail.com)

## License

Licensed under the MIT License.

Version

0.1

Dependencies
Source

cl-annot-prove.asd (file)

Component

src (module)


Next: , Previous: , Up: Top   [Contents][Index]

3 Modules

Modules are listed depth-first from the system components tree.


Previous: , Up: Modules   [Contents][Index]

3.1 cl-annot-prove/src

Parent

cl-annot-prove (system)

Location

src/

Components

Next: , Previous: , Up: Top   [Contents][Index]

4 Files

Files are sorted by type and then listed depth-first from the systems components trees.


Previous: , Up: Files   [Contents][Index]

4.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.1 cl-annot-prove.asd

Location

cl-annot-prove.asd

Systems

cl-annot-prove (system)

Packages

cl-annot-prove-asd


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.2 cl-annot-prove/src/struct.lisp

Parent

src (module)

Location

src/struct.lisp

Packages

cl-annot-prove.struct

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.3 cl-annot-prove/src/render.lisp

Dependency

struct.lisp (file)

Parent

src (module)

Location

src/render.lisp

Packages

cl-annot-prove.render

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.4 cl-annot-prove/src/helper.lisp

Dependency

render.lisp (file)

Parent

src (module)

Location

src/helper.lisp

Packages

cl-annot-prove.helper

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.5 cl-annot-prove/src/annotation.lisp

Dependency

helper.lisp (file)

Parent

src (module)

Location

src/annotation.lisp

Packages

cl-annot-prove.annotation

Exported Definitions
Internal Definitions

deftests-annotation (macro)


Previous: , Up: Lisp files   [Contents][Index]

4.1.6 cl-annot-prove/src/cl-annot-prove.lisp

Dependency

annotation.lisp (file)

Parent

src (module)

Location

src/cl-annot-prove.lisp

Packages

cl-annot-prove


Next: , Previous: , Up: Top   [Contents][Index]

5 Packages

Packages are listed by definition order.


Next: , Previous: , Up: Packages   [Contents][Index]

5.1 cl-annot-prove-asd

Source

cl-annot-prove.asd

Use List

Next: , Previous: , Up: Packages   [Contents][Index]

5.2 cl-annot-prove.struct

Source

struct.lisp (file)

Use List
Used By List
Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.3 cl-annot-prove.render

Source

render.lisp (file)

Use List
Used By List

cl-annot-prove.helper

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.4 cl-annot-prove.helper

Source

helper.lisp (file)

Use List
Used By List

cl-annot-prove.annotation

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.5 cl-annot-prove.annotation

Source

annotation.lisp (file)

Use List
Exported Definitions
Internal Definitions

deftests-annotation (macro)


Previous: , Up: Packages   [Contents][Index]

5.6 cl-annot-prove

Source

cl-annot-prove.lisp (file)

Nickname

annot.prove

Use List

prove


Next: , Previous: , Up: Top   [Contents][Index]

6 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


Next: , Previous: , Up: Definitions   [Contents][Index]

6.1 Exported definitions


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.1 Special variables

Special Variable: *symbol-tests-list*

List of #S(SYMBOL-TESTS ...)s.

Package

cl-annot-prove.struct

Source

struct.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.2 Macros

Macro: tests form1 definition-form0
Package

cl-annot-prove.annotation

Source

annotation.lisp (file)

Macro: tests.after form1 definition-form0
Package

cl-annot-prove.annotation

Source

annotation.lisp (file)

Macro: tests.after.each form1 definition-form0
Package

cl-annot-prove.annotation

Source

annotation.lisp (file)

Macro: tests.around form1 definition-form0
Package

cl-annot-prove.annotation

Source

annotation.lisp (file)

Macro: tests.around.each form1 definition-form0
Package

cl-annot-prove.annotation

Source

annotation.lisp (file)

Macro: tests.before form1 definition-form0
Package

cl-annot-prove.annotation

Source

annotation.lisp (file)

Macro: tests.before.each form1 definition-form0
Package

cl-annot-prove.annotation

Source

annotation.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.3 Functions

Function: add-symbol-tests SYMBOL-TESTS
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: call-tests ()
Package

cl-annot-prove.render

Source

render.lisp (file)

Function: make-symbol-tests SYMBOL &key TESTS BEFORE AFTER AROUND BEFORE-EACH AFTER-EACH AROUND-EACH LOAD-PATHNAME
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: make-test-document &key (GOT GOT) (EXPECTED EXPECTED)
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: query-symbol-tests &key SYMBOL SYMBOL-NAME SYMBOL-PACKAGE SYMBOL-TESTS-LIST

Return list of #S(SYMBOL-TESTS ...)s which match the conditions.

Package

cl-annot-prove.helper

Source

helper.lisp (file)

Function: render-around SYMBOL-TESTS
Package

cl-annot-prove.render

Source

render.lisp (file)

Function: render-method-chain MAIN &key BEFORE AFTER AROUND
Package

cl-annot-prove.render

Source

render.lisp (file)

Function: render-symbol-tests SYMBOL-TESTS

Render #S(SYMBOL-TESTS ...) for documents.

Package

cl-annot-prove.render

Source

render.lisp (file)

Function: replace-call-tests FORM NEW
Package

cl-annot-prove.render

Source

render.lisp (file)

Function: replace-test-form TEST-FORM AROUND
Package

cl-annot-prove.render

Source

render.lisp (file)

Function: replace-test-with-setq-form FORM
Package

cl-annot-prove.render

Source

render.lisp (file)

Function: run-package-tests PACKAGE

Run symbol-tests in the package.

Package

cl-annot-prove.helper

Source

helper.lisp (file)

Function: run-symbol-tests SYMBOL-TESTS

Run symbol-tests.

Package

cl-annot-prove.helper

Source

helper.lisp (file)

Function: run-system-tests SYSTEM-DESIGNATOR &key RELOAD-SYSTEM

Run symbol-tests in the system.

Package

cl-annot-prove.helper

Source

helper.lisp (file)

Function: symbol-tests-after INSTANCE
Function: (setf symbol-tests-after) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: symbol-tests-after-each INSTANCE
Function: (setf symbol-tests-after-each) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: symbol-tests-around INSTANCE
Function: (setf symbol-tests-around) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: symbol-tests-around-each INSTANCE
Function: (setf symbol-tests-around-each) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: symbol-tests-before INSTANCE
Function: (setf symbol-tests-before) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: symbol-tests-before-each INSTANCE
Function: (setf symbol-tests-before-each) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: symbol-tests-load-pathname INSTANCE
Function: (setf symbol-tests-load-pathname) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: symbol-tests-symbol INSTANCE
Function: (setf symbol-tests-symbol) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: symbol-tests-tests INSTANCE
Function: (setf symbol-tests-tests) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: system-symbol-tests-list SYSTEM-DESIGNATOR &key RELOAD-SYSTEM

Return list of #S(SYMBOL-TESTS ...)s in the system.

Package

cl-annot-prove.helper

Source

helper.lisp (file)

Function: test-document-expected INSTANCE
Function: (setf test-document-expected) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: test-document-got INSTANCE
Function: (setf test-document-got) VALUE INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.4 Generic functions

Generic Function: expected-formatter OPERATOR
Package

cl-annot-prove.render

Source

render.lisp (file)

Methods
Method: expected-formatter (operator0 (eql is-expand))
Method: expected-formatter (operator0 (eql like))
Method: expected-formatter (operator0 (eql is-type))
Method: expected-formatter (operator0 (eql is-error))
Method: expected-formatter (operator0 (eql is-print))
Method: expected-formatter (operator0 (eql is-values))
Method: expected-formatter (operator0 (eql isnt))
Method: expected-formatter (operator0 (eql is))
Method: expected-formatter (operator0 (eql ok))
Method: expected-formatter OPERATOR

Previous: , Up: Exported definitions   [Contents][Index]

6.1.5 Structures

Structure: symbol-tests ()

Structure of tests for symbol.

Package

cl-annot-prove.struct

Source

struct.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: symbol
Type

symbol

Readers

symbol-tests-symbol (function)

Writers

(setf symbol-tests-symbol) (function)

Slot: tests
Type

list

Readers

symbol-tests-tests (function)

Writers

(setf symbol-tests-tests) (function)

Slot: before
Readers

symbol-tests-before (function)

Writers

(setf symbol-tests-before) (function)

Slot: after
Readers

symbol-tests-after (function)

Writers

(setf symbol-tests-after) (function)

Slot: around
Readers

symbol-tests-around (function)

Writers

(setf symbol-tests-around) (function)

Slot: before-each
Readers

symbol-tests-before-each (function)

Writers

(setf symbol-tests-before-each) (function)

Slot: after-each
Readers

symbol-tests-after-each (function)

Writers

(setf symbol-tests-after-each) (function)

Slot: around-each
Readers

symbol-tests-around-each (function)

Writers

(setf symbol-tests-around-each) (function)

Slot: load-pathname
Type

(or null pathname)

Readers

symbol-tests-load-pathname (function)

Writers

(setf symbol-tests-load-pathname) (function)

Structure: test-document ()
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Direct superclasses

structure-object (structure)

Direct methods

print-object (method)

Direct slots
Slot: got
Readers

test-document-got (function)

Writers

(setf test-document-got) (function)

Slot: expected
Readers

test-document-expected (function)

Writers

(setf test-document-expected) (function)


Previous: , Up: Definitions   [Contents][Index]

6.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.1 Macros

Macro: def-expected-formatter (SYMBOL EXPECTED) &body BODY
Package

cl-annot-prove.render

Source

render.lisp (file)

Macro: deftests-annotation NAME ACCESSOR
Package

cl-annot-prove.annotation

Source

annotation.lisp (file)

Macro: stub-progn &body BODY
Package

cl-annot-prove.render

Source

render.lisp (file)


Previous: , Up: Internal definitions   [Contents][Index]

6.2.2 Functions

Function: copy-symbol-tests INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: copy-test-document INSTANCE
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: eval-silently FORM
Package

cl-annot-prove.render

Source

render.lisp (file)

Function: format-expected EXPECTED
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: load-system-silestly SYSTEM-DESIGNATOR
Package

cl-annot-prove.helper

Source

helper.lisp (file)

Function: replace-stub-progn FORM
Package

cl-annot-prove.render

Source

render.lisp (file)

Function: run-symbol-tests-list SYMBOL-TESTS-LIST
Package

cl-annot-prove.helper

Source

helper.lisp (file)

Function: symbol-tests-p OBJECT
Package

cl-annot-prove.struct

Source

struct.lisp (file)

Function: test-document-p OBJECT
Package

cl-annot-prove.struct

Source

struct.lisp (file)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   C   F   L   M  
Index Entry  Section

C
cl-annot-prove.asd: The cl-annot-prove<dot>asd file
cl-annot-prove/src: The cl-annot-prove/src module
cl-annot-prove/src/annotation.lisp: The cl-annot-prove/src/annotation<dot>lisp file
cl-annot-prove/src/cl-annot-prove.lisp: The cl-annot-prove/src/cl-annot-prove<dot>lisp file
cl-annot-prove/src/helper.lisp: The cl-annot-prove/src/helper<dot>lisp file
cl-annot-prove/src/render.lisp: The cl-annot-prove/src/render<dot>lisp file
cl-annot-prove/src/struct.lisp: The cl-annot-prove/src/struct<dot>lisp file

F
File, Lisp, cl-annot-prove.asd: The cl-annot-prove<dot>asd file
File, Lisp, cl-annot-prove/src/annotation.lisp: The cl-annot-prove/src/annotation<dot>lisp file
File, Lisp, cl-annot-prove/src/cl-annot-prove.lisp: The cl-annot-prove/src/cl-annot-prove<dot>lisp file
File, Lisp, cl-annot-prove/src/helper.lisp: The cl-annot-prove/src/helper<dot>lisp file
File, Lisp, cl-annot-prove/src/render.lisp: The cl-annot-prove/src/render<dot>lisp file
File, Lisp, cl-annot-prove/src/struct.lisp: The cl-annot-prove/src/struct<dot>lisp file

L
Lisp File, cl-annot-prove.asd: The cl-annot-prove<dot>asd file
Lisp File, cl-annot-prove/src/annotation.lisp: The cl-annot-prove/src/annotation<dot>lisp file
Lisp File, cl-annot-prove/src/cl-annot-prove.lisp: The cl-annot-prove/src/cl-annot-prove<dot>lisp file
Lisp File, cl-annot-prove/src/helper.lisp: The cl-annot-prove/src/helper<dot>lisp file
Lisp File, cl-annot-prove/src/render.lisp: The cl-annot-prove/src/render<dot>lisp file
Lisp File, cl-annot-prove/src/struct.lisp: The cl-annot-prove/src/struct<dot>lisp file

M
Module, cl-annot-prove/src: The cl-annot-prove/src module

Jump to:   C   F   L   M  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

Jump to:   (  
A   C   D   E   F   G   L   M   Q   R   S   T  
Index Entry  Section

(
(setf symbol-tests-after): Exported functions
(setf symbol-tests-after-each): Exported functions
(setf symbol-tests-around): Exported functions
(setf symbol-tests-around-each): Exported functions
(setf symbol-tests-before): Exported functions
(setf symbol-tests-before-each): Exported functions
(setf symbol-tests-load-pathname): Exported functions
(setf symbol-tests-symbol): Exported functions
(setf symbol-tests-tests): Exported functions
(setf test-document-expected): Exported functions
(setf test-document-got): Exported functions

A
add-symbol-tests: Exported functions

C
call-tests: Exported functions
copy-symbol-tests: Internal functions
copy-test-document: Internal functions

D
def-expected-formatter: Internal macros
deftests-annotation: Internal macros

E
eval-silently: Internal functions
expected-formatter: Exported generic functions
expected-formatter: Exported generic functions
expected-formatter: Exported generic functions
expected-formatter: Exported generic functions
expected-formatter: Exported generic functions
expected-formatter: Exported generic functions
expected-formatter: Exported generic functions
expected-formatter: Exported generic functions
expected-formatter: Exported generic functions
expected-formatter: Exported generic functions
expected-formatter: Exported generic functions

F
format-expected: Internal functions
Function, (setf symbol-tests-after): Exported functions
Function, (setf symbol-tests-after-each): Exported functions
Function, (setf symbol-tests-around): Exported functions
Function, (setf symbol-tests-around-each): Exported functions
Function, (setf symbol-tests-before): Exported functions
Function, (setf symbol-tests-before-each): Exported functions
Function, (setf symbol-tests-load-pathname): Exported functions
Function, (setf symbol-tests-symbol): Exported functions
Function, (setf symbol-tests-tests): Exported functions
Function, (setf test-document-expected): Exported functions
Function, (setf test-document-got): Exported functions
Function, add-symbol-tests: Exported functions
Function, call-tests: Exported functions
Function, copy-symbol-tests: Internal functions
Function, copy-test-document: Internal functions
Function, eval-silently: Internal functions
Function, format-expected: Internal functions
Function, load-system-silestly: Internal functions
Function, make-symbol-tests: Exported functions
Function, make-test-document: Exported functions
Function, query-symbol-tests: Exported functions
Function, render-around: Exported functions
Function, render-method-chain: Exported functions
Function, render-symbol-tests: Exported functions
Function, replace-call-tests: Exported functions
Function, replace-stub-progn: Internal functions
Function, replace-test-form: Exported functions
Function, replace-test-with-setq-form: Exported functions
Function, run-package-tests: Exported functions
Function, run-symbol-tests: Exported functions
Function, run-symbol-tests-list: Internal functions
Function, run-system-tests: Exported functions
Function, symbol-tests-after: Exported functions
Function, symbol-tests-after-each: Exported functions
Function, symbol-tests-around: Exported functions
Function, symbol-tests-around-each: Exported functions
Function, symbol-tests-before: Exported functions
Function, symbol-tests-before-each: Exported functions
Function, symbol-tests-load-pathname: Exported functions
Function, symbol-tests-p: Internal functions
Function, symbol-tests-symbol: Exported functions
Function, symbol-tests-tests: Exported functions
Function, system-symbol-tests-list: Exported functions
Function, test-document-expected: Exported functions
Function, test-document-got: Exported functions
Function, test-document-p: Internal functions

G
Generic Function, expected-formatter: Exported generic functions

L
load-system-silestly: Internal functions

M
Macro, def-expected-formatter: Internal macros
Macro, deftests-annotation: Internal macros
Macro, stub-progn: Internal macros
Macro, tests: Exported macros
Macro, tests.after: Exported macros
Macro, tests.after.each: Exported macros
Macro, tests.around: Exported macros
Macro, tests.around.each: Exported macros
Macro, tests.before: Exported macros
Macro, tests.before.each: Exported macros
make-symbol-tests: Exported functions
make-test-document: Exported functions
Method, expected-formatter: Exported generic functions
Method, expected-formatter: Exported generic functions
Method, expected-formatter: Exported generic functions
Method, expected-formatter: Exported generic functions
Method, expected-formatter: Exported generic functions
Method, expected-formatter: Exported generic functions
Method, expected-formatter: Exported generic functions
Method, expected-formatter: Exported generic functions
Method, expected-formatter: Exported generic functions
Method, expected-formatter: Exported generic functions

Q
query-symbol-tests: Exported functions

R
render-around: Exported functions
render-method-chain: Exported functions
render-symbol-tests: Exported functions
replace-call-tests: Exported functions
replace-stub-progn: Internal functions
replace-test-form: Exported functions
replace-test-with-setq-form: Exported functions
run-package-tests: Exported functions
run-symbol-tests: Exported functions
run-symbol-tests-list: Internal functions
run-system-tests: Exported functions

S
stub-progn: Internal macros
symbol-tests-after: Exported functions
symbol-tests-after-each: Exported functions
symbol-tests-around: Exported functions
symbol-tests-around-each: Exported functions
symbol-tests-before: Exported functions
symbol-tests-before-each: Exported functions
symbol-tests-load-pathname: Exported functions
symbol-tests-p: Internal functions
symbol-tests-symbol: Exported functions
symbol-tests-tests: Exported functions
system-symbol-tests-list: Exported functions

T
test-document-expected: Exported functions
test-document-got: Exported functions
test-document-p: Internal functions
tests: Exported macros
tests.after: Exported macros
tests.after.each: Exported macros
tests.around: Exported macros
tests.around.each: Exported macros
tests.before: Exported macros
tests.before.each: Exported macros

Jump to:   (  
A   C   D   E   F   G   L   M   Q   R   S   T  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.3 Variables

Jump to:   *  
A   B   E   G   L   S   T  
Index Entry  Section

*
*symbol-tests-list*: Exported special variables

A
after: Exported structures
after-each: Exported structures
around: Exported structures
around-each: Exported structures

B
before: Exported structures
before-each: Exported structures

E
expected: Exported structures

G
got: Exported structures

L
load-pathname: Exported structures

S
Slot, after: Exported structures
Slot, after-each: Exported structures
Slot, around: Exported structures
Slot, around-each: Exported structures
Slot, before: Exported structures
Slot, before-each: Exported structures
Slot, expected: Exported structures
Slot, got: Exported structures
Slot, load-pathname: Exported structures
Slot, symbol: Exported structures
Slot, tests: Exported structures
Special Variable, *symbol-tests-list*: Exported special variables
symbol: Exported structures

T
tests: Exported structures

Jump to:   *  
A   B   E   G   L   S   T  

Previous: , Up: Indexes   [Contents][Index]

A.4 Data types

Jump to:   C   P   S   T  
Index Entry  Section

C
cl-annot-prove: The cl-annot-prove system
cl-annot-prove: The cl-annot-prove package
cl-annot-prove-asd: The cl-annot-prove-asd package
cl-annot-prove.annotation: The cl-annot-prove<dot>annotation package
cl-annot-prove.helper: The cl-annot-prove<dot>helper package
cl-annot-prove.render: The cl-annot-prove<dot>render package
cl-annot-prove.struct: The cl-annot-prove<dot>struct package

P
Package, cl-annot-prove: The cl-annot-prove package
Package, cl-annot-prove-asd: The cl-annot-prove-asd package
Package, cl-annot-prove.annotation: The cl-annot-prove<dot>annotation package
Package, cl-annot-prove.helper: The cl-annot-prove<dot>helper package
Package, cl-annot-prove.render: The cl-annot-prove<dot>render package
Package, cl-annot-prove.struct: The cl-annot-prove<dot>struct package

S
Structure, symbol-tests: Exported structures
Structure, test-document: Exported structures
symbol-tests: Exported structures
System, cl-annot-prove: The cl-annot-prove system

T
test-document: Exported structures

Jump to:   C   P   S   T