aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/decl_mode
ModeNameSize
-rw-r--r--decl_expr.mli3030logplain
-rw-r--r--decl_interp.ml17259logplain
-rw-r--r--decl_interp.mli743logplain
-rw-r--r--decl_mode.ml3678logplain
-rw-r--r--decl_mode.mli2109logplain
-rw-r--r--decl_mode_plugin.mlpack64logplain
-rw-r--r--decl_proof_instr.ml49809logplain
-rw-r--r--decl_proof_instr.mli3409logplain
-rw-r--r--g_decl_mode.ml413431logplain
-rw-r--r--ppdecl_proof.ml7358logplain
-rw-r--r--ppdecl_proof.mli428logplain