Module Proposition


module Proposition: sig .. end
Propositional variables.
Author(s): Vincent Aravantinos

type t 
Type of propositional variables.
val of_string : string -> t
Printing

val to_string : t -> string
val compare : t -> t -> int
Comparisons

val equal : t -> t -> bool