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

Diff of /typing/typer.mli

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

revision 542 by abate, Tue Jul 10 17:43:11 2007 UTC revision 552 by abate, Tue Jul 10 17:43:53 2007 UTC
# Line 14  Line 14 
14  val get_ns_table : tenv -> Ns.table  val get_ns_table : tenv -> Ns.table
15    
16  val register_global_types : (U.t * Ast.ppat) list -> unit  val register_global_types : (U.t * Ast.ppat) list -> unit
17    val register_global_ns : U.t -> Ns.t -> unit
18  val dump_global_types: Format.formatter -> unit  val dump_global_types: Format.formatter -> unit
19    val dump_global_ns: Format.formatter -> unit
 val register_ns_prefix : U.t -> Ns.t -> unit  
20    
21  val typ : Ast.ppat -> Typed.ttyp  val typ : Ast.ppat -> Typed.ttyp
22  val pat : Ast.ppat -> Typed.tpat  val pat : Ast.ppat -> Typed.tpat
Legend:
Removed from v.542  
changed lines
  Added in v.552
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5