package sarek

  1. Overview
  2. Docs

Module Internal_kernels.TyperSource

Sourceval basic_check : Sarek_types.kexpr list -> Sarek_types.ktyp -> Sarek_types.ktyp -> Camlp4.PreCast.Syntax.Ast.Loc.t -> unit
Sourceval elt_check : Sarek_types.kexpr -> Sarek_types.ktyp -> Camlp4.PreCast.Syntax.Ast.Loc.t -> unit
Sourceval equal_sum : bool -> (string * Camlp4.PreCast.Syntax.Ast.ctyp option) list -> (string * Camlp4.PreCast.Syntax.Ast.ctyp option) list -> bool
Sourceval equal_rec : bool -> Camlp4.PreCast.Syntax.Ast.ctyp list -> Camlp4.PreCast.Syntax.Ast.ident list -> Camlp4.PreCast.Syntax.Ast.ctyp list -> Camlp4.PreCast.Syntax.Ast.ident list -> bool
Sourceval equal_types : Sarek_types.ktyp -> Sarek_types.ktyp -> bool
Sourceval check : Sarek_types.ktyp -> Sarek_types.ktyp -> Camlp4.PreCast.Syntax.Ast.Loc.t -> unit
Sourceval gen_app_from_constr : Sarek_types.cstr -> Camlp4.PreCast.Syntax.Ast.ident -> Sarek_types.ktyp
Sourceval typer_id : Sarek_types.kexpr -> Sarek_types.ktyp -> Sarek_types.ktyp ref -> (unit -> unit) -> unit