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