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 : Stdlib.Format.formatter -> ty -> unit
val ty_var : Stdlib.Format.formatter -> ty_var -> unit
val ty_cst : Stdlib.Format.formatter -> ty_cst -> unit
val term : Stdlib.Format.formatter -> term -> unit
val term_var : Stdlib.Format.formatter -> term_var -> unit
val term_cst : Stdlib.Format.formatter -> term_cst -> unit
val formula : Stdlib.Format.formatter -> formula -> unit