package acgtk

  1. Overview
  2. Docs

These modules are the abstract syntactic representations of predicates and rules

module AbstractSyntax : sig ... end
OCaml

Innovation. Community. Security.