package dolmen_loop

  1. Overview
  2. Docs
include S
type ty
type ty_var
type ty_cst
type term
type term_var
type term_cst
type formula
val ty : Format.formatter -> ty -> unit
val ty_var : Format.formatter -> ty_var -> unit
val ty_cst : Format.formatter -> ty_cst -> unit
val term : Format.formatter -> term -> unit
val term_var : Format.formatter -> term_var -> unit
val term_cst : Format.formatter -> term_cst -> unit
val formula : Format.formatter -> formula -> unit