package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

Dune Dependency

sr.ht Readme Edit opam file Versions (17)

Authors

J

Jonathan Sterling

Maintainers

J

Jonathan Sterling

Sources

5.0.tar.gz

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

doc/forester.frontend/Forester_frontend/DSL/Datalog/index.html

Module `DSL.Datalog`Source

Source

val premises : 
  rel:'a ->
  args:'b Forester_core.Datalog_expr.term list ->
  ('a, 'b) Forester_core.Datalog_expr.prop

Source

val prop : 
  ('a, 'b) Forester_core.Datalog_expr.prop list ->
  ('a, 'b) Forester_core.Datalog_expr.prop ->
  ('a, 'b) Forester_core.Datalog_expr.sequent

Sourceval const : 'a -> 'a Forester_core.Datalog_expr.term

package forester

Install

Dune Dependency

Authors

Maintainers

Sources

doc/forester.frontend/Forester_frontend/DSL/Datalog/index.html

Module DSL.DatalogSource

Module `DSL.Datalog`Source