aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/decl_mode
ModeNameSize
-rw-r--r--decl_expr.mli3069logplain
-rw-r--r--decl_interp.ml16715logplain
-rw-r--r--decl_interp.mli758logplain
-rw-r--r--decl_mode.ml3119logplain
-rw-r--r--decl_mode.mli2040logplain
-rw-r--r--decl_mode_plugin.mllib85logplain
-rw-r--r--decl_proof_instr.ml45077logplain
-rw-r--r--decl_proof_instr.mli3574logplain
-rw-r--r--g_decl_mode.ml413972logplain
-rw-r--r--ppdecl_proof.ml6370logplain
-rw-r--r--ppdecl_proof.mli76logplain