Module Ast_ho

module Ast_ho: sig .. end

Very Simple AST

AST that holds Horn Clauses and type declarations, nothing more.

type term = Libzipperposition.STerm.t

type t =

`\|`	`Clause of term * term list`
`\|`	`Type of string * term`

type location = Libzipperposition.ParseLocation.t

include Interfaces.PRINT

module Seq: sig .. end

val app_infix : ?loc:location -> string -> term -> term -> term