Commit 9351bfb6 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-10-24 09:36:01 by szach] removed some old schema methods

Original author: szach
Date: 2003-10-24 09:36:01+00:00
parent b4a0cb33
......@@ -57,21 +57,11 @@ val type_let_funs: t -> Ast.pexpr list ->
val flatten: loc ->
(Types.t -> bool -> Types.t) -> (Types.t -> bool -> Types.t)
(** {2 Schema stuff} *)
(** {2 Schema stuff} *)
(** register a schema *)
val register_schema: string -> Schema_types.schema -> unit
(** @return the validator for a Schema global element *)
val get_schema_validator: string * string -> Schema_validator.validator
(** DEBUG ONLY *)
(* return the type of a global schema element *)
val get_schema_type: string * string -> Types.descr
(* Operators *)
type type_fun = Types.t -> bool -> Types.t
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment