Module type Dl_core.L

module type L = sig .. end

type number

The type of numbers.

type t = Dl_core.Variable.t * Dl_core.Variable.t * number

The type of literals. (u,v,k) represents the literal u - v <= k.

val equal : t -> t -> bool

Are the two literals equal?

val hash : t -> int

Hash function for literals.

Hosted by the

^* web site.
^*Other names and brands may be claimed as the property of others.