aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/decl_mode
ModeNameSize
-rw-r--r--decl_expr.mli3043logplain
-rw-r--r--decl_interp.ml16799logplain
-rw-r--r--decl_interp.mli758logplain
-rw-r--r--decl_mode.ml3243logplain
-rw-r--r--decl_mode.mli2113logplain
-rw-r--r--decl_mode_plugin.mllib85logplain
-rw-r--r--decl_proof_instr.ml46524logplain
-rw-r--r--decl_proof_instr.mli3422logplain
-rw-r--r--g_decl_mode.ml413571logplain
-rw-r--r--ppdecl_proof.ml6397logplain
-rw-r--r--ppdecl_proof.mli76logplain