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.15
Copyright © 2022 Alley Stoughton