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

Module `Ast.Goal`

type t = Term.t

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

val show : t -> Ppx_deriving_runtime.string