package herdtools7

  1. Overview
  2. Docs

Module Types.DomainSource

The domain of a type is the symbolic representation of the set of values which storage element of that type may hold.

Sourcetype t

Abstract value set.

Sourceval pp : Format.formatter -> t -> unit

A printer for the domain type.

Sourceval of_type : env -> AST.ty -> t

Construct the domain of a type.

Sourceval mem : AST.literal -> t -> bool

mem v d is true if and only if v is in d.

Sourceval equal : t -> t -> bool

Wheather two domains are equal.

Sourceval compare : t -> t -> int option

The inclusion order on domains.

It is a partial order.