summaryrefslogtreecommitdiff
path: root/plugins/decl_mode
ModeNameSize
-rw-r--r--decl_expr.mli3058logplain
-rw-r--r--decl_interp.ml16630logplain
-rw-r--r--decl_interp.mli758logplain
-rw-r--r--decl_mode.ml3133logplain
-rw-r--r--decl_mode.mli2040logplain
-rw-r--r--decl_mode_plugin.mllib85logplain
-rw-r--r--decl_proof_instr.ml45482logplain
-rw-r--r--decl_proof_instr.mli3574logplain
-rw-r--r--g_decl_mode.ml413912logplain
-rw-r--r--ppdecl_proof.ml6368logplain
-rw-r--r--ppdecl_proof.mli76logplain