Forlan Manual


The Prod Module


Synopsis

signature PROD
structure Prod :> PROD

This module defines the concrete type of grammar productions.


Interface

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

Description

type prod = Sym.sym * Str.str
The type of grammar productions.

compare
is Set.comparePair(Sym.compare, Str.compare).

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


[ Top | Parent | Root | Contents | Index ]

Forlan Version 4.12
Copyright © 2019 Alley Stoughton