Frama-C API - `MakeTau`

Parameters

module F : Logic.Field

module A : Logic.Data

include Logic.Symbol with type t = (F.t, A.t) Logic.datatype

type t = (F.t, A.t) Logic.datatype

val hash : t -> int

val equal : t -> t -> bool

val compare : t -> t -> int

val pretty : Stdlib.Format.formatter -> t -> unit

val debug : t -> string

for printing during debug

val basename : t -> string

hint for generating fresh names