Forlan Manual

The `Tran` Module

Synopsis

signature TRAN structure Tran :> TRAN

This module defines the concrete type of finite automata transitions.

Interface

type tran = Sym.sym * Str.str * Sym.sym val compare : tran Sort.total_ordering val equal : tran * tran -> bool

Description

type tran = Sym.sym * Str.str * Sym.sym: The type of transitions.

compare: is Set.compareTriple(Sym.compare, Str.compare, Sym.compare).

equal(tran1, tran2): tests whether tran1 and tran2 are equal.

[ Top | Parent | Root | Contents | Index ]

Forlan Version 4.15
Copyright © 2022 Alley Stoughton