package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = ASPred.predicate list * int * int
val pp_premises : ?with_id:bool -> ASPred.PredIdTable.table -> Datalog_AbstractSyntax.ConstGen.Table.table -> Stdlib.Format.formatter -> t -> unit