package coq

  1. Overview
  2. Docs

Source file firstorder_plugin.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(* generated by dune *)

(** @canonical Firstorder_plugin.Formula *)
module Formula = Firstorder_plugin__Formula

(** @canonical Firstorder_plugin.G_ground *)
module G_ground = Firstorder_plugin__G_ground

(** @canonical Firstorder_plugin.Ground *)
module Ground = Firstorder_plugin__Ground

(** @canonical Firstorder_plugin.Instances *)
module Instances = Firstorder_plugin__Instances

(** @canonical Firstorder_plugin.Rules *)
module Rules = Firstorder_plugin__Rules

(** @canonical Firstorder_plugin.Sequent *)
module Sequent = Firstorder_plugin__Sequent

(** @canonical Firstorder_plugin.Unify *)
module Unify = Firstorder_plugin__Unify