module Check: sig
.. end
Builds various hash tables for generators and types
type
locality =
| |
Local |
| |
Global of string |
type
generator_arity =
| |
Ga_zeroary |
| |
Ga_unary |
| |
Ga_binary |
| |
Ga_listary |
| |
Ga_mary of int |
type
generator_info = {
}
The complete information associated to a generator.
type
msg = string
Possible errors.
type
error =
exception Error of Location.t * error
val raise_error : Location.t -> error -> 'a
val report_error : Format.formatter -> error -> unit
Various access/test functions.
val is_local_info : generator_info -> bool
val is_private_info : generator_info -> bool
val is_listary_info : generator_info -> bool
val arity_of_info : generator_info -> int
val add_type_decls : locality -> (string * Parsetree.type_declaration) list -> unit
Enters a list of type definitions in the table.
Access functions to generators and relational types, as recorded into the
global Moca tables.
The find kind access functions may raise Not_found.
val is_generator_ident : Longident.t -> bool
Access to generators.
val find_generator_ident_info : Longident.t -> generator_info
val find_generator_name_info : string -> generator_info
val is_type_ident : Longident.t -> bool
Access to types.
val find_type_ident_declaration : Longident.t -> Parsetree.type_declaration
val find_type_name_declaration : string -> Parsetree.type_declaration
val find_generator_info : Parsetree.generator -> generator_info
Various access/test functions that may raise Unknown_generator.
val is_listary_generator : Parsetree.generator -> bool
Various access/test functions.
val is_local_generator : Parsetree.generator -> bool
val is_private_generator : Parsetree.generator -> bool
val arity_of_generator : Parsetree.generator -> int
val get_arity_of_generator : Parsetree.generator -> generator_arity
val is_truly_unary_generator : Parsetree.generator -> bool
val neutral_element_of_generator : Parsetree.generator -> Parsetree.generator
Gives the neutral element of g
or else raise No_neutral_element