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

Diff of /typing/typer.mli

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

revision 786 by abate, Tue Jul 10 18:03:06 2007 UTC revision 812 by abate, Tue Jul 10 18:04:55 2007 UTC
# Line 35  Line 35 
35  val pat: t -> Ast.ppat -> Patterns.node  val pat: t -> Ast.ppat -> Patterns.node
36    
37  val dump_types: Format.formatter -> t -> unit  val dump_types: Format.formatter -> t -> unit
38  val dump_type: Format.formatter -> t -> string -> unit  val dump_type: Format.formatter -> t -> U.t -> unit
39  val dump_schema_type:  val dump_schema_type:
40    Format.formatter -> (Schema_types.component_kind * string * string) -> unit    Format.formatter -> (Schema_types.component_kind * U.t * U.t) -> unit
41    
42  val dump_ns: Format.formatter -> t -> unit  val dump_ns: Format.formatter -> t -> unit
43  val set_ns_table_for_printer: t -> unit  val set_ns_table_for_printer: t -> unit
# Line 60  Line 60 
60    
61  (** {2 Schema stuff} *)  (** {2 Schema stuff} *)
62    
63  val register_schema: string -> Schema_types.schema -> unit  val register_schema: U.t -> Schema_types.schema -> unit
64    val get_schema: U.t -> Schema_types.schema  (** lookup schema by name *)
65    (** lookup schema by name *)  val get_schema_names: unit -> U.t list  (** registered schema names *)
 val get_schema: string -> Schema_types.schema  
   
   (** registered schema names *)  
 val get_schema_names: unit -> string list  
66    
67  (* Operators *)  (* Operators *)
68    
Legend:
Removed from v.786  
changed lines
  Added in v.812
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5