Celestin Apprentice 5/Apprentice-Release5.iso/Source Code/C/Applications/Moscow ML 1.31/source code/mosml/src/compiler/Synchk.sig

Text File | 1996-07-03 | 84 b | 3 lines | [TEXT/R*ch]

val checkDec: bool -> Asynt.Dec -> unit;
val checkSpec: bool -> Asynt.Spec -> unit;