Module Syntax.Expr

module Expr: sig .. end

val equal : ('a, 'b) Syntax.expr -> ('a, 'b) Syntax.expr -> bool

val compare : ('a, 'b) Syntax.expr -> ('a, 'b) Syntax.expr -> int

val pp : ?env:string Syntax.Env.t ->
       'a Syntax.context -> Format.formatter -> ('a, 'b) Syntax.expr -> unit

val refine : 'a Syntax.context ->
       ('a, Syntax.typ_fo) Syntax.expr ->
       [ `Formula of 'a Syntax.formula | `Term of 'a Syntax.term ]

module HT: sig .. end

module Set: sig .. end

module Map: sig .. end