zelus 2.1 · OCaml Package

type error =

| Eunbound_type_constr of Lident.t
| Eunbound_global_value of Lident.t
| Etype_constr_arity of Lident.t * int * int
| Eunbound_type_var of string
| Erepeated_type_param of string
| Erepeated_constructor of string
| Erepeated_label of string
| Ealready_defined_type of string
| Ealready_defined_constr of string
| Ealready_defined_label of string
| Ealready_defined_value of string
| Ecyclic_abbreviation

exception Error of Location.location * error

val error : Location.location -> error -> 'a

val message : Location.location -> error -> 'a

val make : 'a -> 'a Zelus.localized

val global : string -> 'a -> 'a Global.info

val free_of_type : string list -> Zelus.type_expression -> string list

val constr_name : Location.location -> Lident.t -> int -> Lident.qualident

val kindtype : Zelus.kind -> Deftypes.kind

val kindoftype : Deftypes.kind -> Zelus.kind

val typ_of_type_expression : 
  (string * Deftypes.typ) list ->
  Zelus.type_expression ->
  Deftypes.typ

val type_expression_of_typ : Deftypes.typ -> Zelus.type_expression

val type_decl_of_type_desc : 
  'a ->
  Global.type_desc ->
  'a * string list * Zelus.type_decl_desc Zelus.localized

val scheme_of_type : Zelus.type_expression -> Deftypes.typ_scheme

val check_no_repeated_type_param : Location.location -> string list -> unit

val check_no_repeated_constructor : 
  Location.location ->
  Zelus.constr_decl_desc Zelus.localized list ->
  unit

val check_no_repeated_label : Location.location -> (string * 'a) list -> unit

val type_variant_type : 
  (string * Deftypes.typ) list ->
  Zelus.constr_decl_desc Zelus.localized list ->
  Deftypes.typ ->
  Global.constr_desc Global.info list

val type_record_type : 
  (string * Deftypes.typ) list ->
  (string * Zelus.type_expression) list ->
  Deftypes.typ ->
  Global.label_desc Global.info list

val make_initial_typ_environment : 
  Location.location ->
  Modules.E.key ->
  string list ->
  Global.type_desc Global.info

val type_one_typedecl : 
  Location.location ->
  Global.type_desc Global.info ->
  (string * string list * Zelus.type_decl_desc Zelus.localized) ->
  Global.type_desc Global.info

val typedecl : 
  Stdlib.Format.formatter ->
  Location.location ->
  Modules.E.key ->
  string list ->
  Zelus.type_decl_desc Zelus.localized ->
  unit

val add_type_of_value : 
  Stdlib.Format.formatter ->
  Location.location ->
  Modules.E.key ->
  bool ->
  Deftypes.typ_scheme ->
  unit

val update_type_of_value : 
  Stdlib.Format.formatter ->
  Location.location ->
  Modules.E.key ->
  bool ->
  Deftypes.typ_scheme ->
  unit

val constdecl : 
  Stdlib.Format.formatter ->
  Location.location ->
  Modules.E.key ->
  Zelus.type_expression ->
  unit

val fundecl : 
  Stdlib.Format.formatter ->
  Location.location ->
  Modules.E.key ->
  Zelus.type_expression ->
  unit

val interface : 
  Stdlib.Format.formatter ->
  Zelus.interface_desc Zelus.localized ->
  unit

val interface_list : 
  Stdlib.Format.formatter ->
  Zelus.interface_desc Zelus.localized list ->
  unit

package zelus