Module Dl_core.T.Literal

module Literal: Dl_core.L  with type number = num

Literals.

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.