Module Type.TPTP

module TPTP: sig .. end

include Interfaces.PRINT_DE_BRUIJN

include Interfaces.PRINT

val pp_typed_var : Type.t HVar.t CCFormat.printer

Basic types

val i : Type.t

val o : Type.t

val int : Type.t

val rat : Type.t

val real : Type.t