Up – Package index » elpi » Library elpi.parser » Elpi_parser » Ast » Goal

Module `Ast.Goal`Source

Sourcetype t = Term.t

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string