Index

Symbols

--iface-dir <dir> command line option --permissive command line option --strict command line option -e <editfile> command line option -m <midamble-file> command line option

-o <dir> command line option -P command line option -p <preamble-file> command line option -S command line option

A

add scope, edit add, edit, [1] alias module, edit

axiomatize definition, edit axiomatize module, edit axiomatize original module name, edit

C

class kinds, edit coinductive, edit collapse let, edit command line option --iface-dir <dir> --permissive --strict -P -S -e <editfile> -m <midamble-file> -o <dir> -p <preamble-file>

corecursive, termination argument

D

data kinds, edit

deferred, termination argument delete unused type variables, edit

E

except in, edit

I

import, edit in, edit

inline mutual, edit invariant, edit

M

manual notation, edit

measure, termination argument

O

obligations, edit

order, edit

P

polykinds, edit

polyrec, edit promote, edit

R

redefine, edit rename module, edit

rename type, edit rename value, edit rewrite, edit

S

set type, edit skip case pattern, edit skip class edit skip constructor, edit

skip equation, edit skip method, edit skip module, edit skip, edit struct, termination argument

T

termination, edit

type synonym, edit

U

unaxiomatize definition, edit

W

wf, termination argument