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

Contents of /typing/typer.mli

Parent Directory Parent Directory | Revision Log Revision Log


Revision 6 - (show 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 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 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