Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/branches/SMLNJ/src/compiler/FLINT/plambda/plambdatype.sig
ViewVC logotype

View of /sml/branches/SMLNJ/src/compiler/FLINT/plambda/plambdatype.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 24 - (download) (as text) (annotate)
Thu Mar 12 00:49:58 1998 UTC (21 years, 6 months ago) by monnier
File size: 346 byte(s)
*** empty log message ***
(* Copyright (c) 1997 YALE FLINT PROJECT *)
(* plambdatype.sig *)

signature PLAMBDATYPE = 
sig

include LTYEXTERN

val lt_merge : lty * lty -> lty
val tcc_arw  : tyc * tyc -> tyc
val ltc_funN : LtyKernel.rawflag * lty list * lty list -> lty
val lt_pinst : lty * tyc list -> lty
val ltd_pfun : lty -> lty * lty

end (* signature PLAMBDATYPE *) 


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0