/[svn]/typing/typer.mli
ViewVC logotype

Contents of /typing/typer.mli

Parent Directory Parent Directory | Revision Log Revision Log


Revision 6 - (hide annotations)
Tue Jul 10 16:57:08 2007 UTC (5 years, 10 months ago) by abate
File size: 353 byte(s)
[r2002-10-10 16:39:45 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-10 16:39:45+00:00
1 abate 5 exception ParsingPattern of string
2    
3     val compile_regexp : Ast.regexp -> Ast.ppat -> Ast.ppat
4    
5     val typ : Ast.ppat -> Typed.ttyp
6     val pat : Ast.ppat -> Typed.tpat
7    
8 abate 6 module Fv : Set.S with type elt = string
9     module Env : Map.S with type key = string
10    
11     val expr: Ast.pexpr -> Fv.t * Typed.texpr
12    
13     val compute_type: Types.descr Env.t -> Typed.texpr -> Types.descr

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5