package dolmen_loop

  1. Overview
  2. Docs
A tool library for automated deduction tools

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (7)

Authors

  1. G
    Guillaume Bury <guillaume.bury@gmail.com>

Maintainers

  1. G
    Guillaume Bury <guillaume.bury@gmail.com>

Sources

dolmen-0.10.tbz
sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61
sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f

doc/src/dolmen_loop/logic.ml.html

Source file logic.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

(* This file is free software, part of Dolmen. See file "LICENSE" for more details. *)

(* The Main Dolmen library is used to parse input languages *)
(* ************************************************************************ *)

module P = Dolmen.Class.Logic.Make
    (Dolmen.Std.Loc)
    (Dolmen.Std.Id)
    (Dolmen.Std.Term)
    (Dolmen.Std.Statement)
    (Dolmen.Std.Extensions)

include (P : Dolmen.Class.Logic.S with type statement := Dolmen.Std.Statement.t
                                   and type file := Dolmen.Std.Loc.file)