/[svn]/runtime/value.mli
ViewVC logotype

Diff of /runtime/value.mli

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 44 by abate, Tue Jul 10 16:56:44 2007 UTC revision 45 by abate, Tue Jul 10 17:00:40 2007 UTC
# Line 1  Line 1 
1  type t  type t
2    type env
3    
4  type descr =  val print: Format.formatter -> t -> unit
   | Pair of t * t  
   | Record of (Types.label * t) list  
   | Atom of Types.atom  
   | Integer of int  
   | String of string  
   | Fun of unit (* TODO ... *)  
5    
6  val descr: t -> descr  val run_dispatcher: Patterns.Compile.dispatcher -> t -> int * t array
7    
8    val eval: env -> Typed.texpr -> t
Legend:
Removed from v.44  
changed lines
  Added in v.45
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5