aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/decl_mode
ModeNameSize
-rw-r--r--decl_expr.mli3030logplain
-rw-r--r--decl_interp.ml17290logplain
-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.ml51641logplain
-rw-r--r--decl_proof_instr.mli3412logplain
-rw-r--r--g_decl_mode.ml413425logplain
-rw-r--r--ppdecl_proof.ml7464logplain
-rw-r--r--ppdecl_proof.mli428logplain