package spoc

  1. Overview
  2. Docs

Module External_kernels.Kernels_extSource

Sourceexception Unauthorized_Recursion of string
Sourceexception Unauthorized_String_Access of string
Sourceexception Unauthorized_Array_Access of string
Sourceexception Unauthorized_Type of string * string
Sourceexception Unbound_value of Camlp4.PreCast.Syntax.Ast.Loc.t * string
Sourceexception Unbound_value2 of (Camlp4.PreCast.Syntax.Ast.Loc.t * string) * Camlp4.PreCast.Syntax.Ast.Loc.t
Sourceval debug : bool
Sourceval print : string -> unit
Sourceval expr_of_string : Camlp4.PreCast.Syntax.Gram.Loc.t -> string -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval id : int ref
Sourceval arg_string : string ref
Sourceval arg_string2 : string ref
Sourceval idx : int ref
Sourceval create_new_var : Camlp4.PreCast.Syntax.Gram.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr * string
Sourceval string_of_ident : Camlp4.PreCast.Syntax.Ast.ident -> string
Sourceval fst3 : ('a * 'b * 'c) -> 'a
Sourceval snd3 : ('a * 'b * 'c) -> 'b
Sourceval thrd3 : ('a * 'b * 'c) -> 'c
Sourceval parse_ctyp : Camlp4.PreCast.Syntax.Ast.ctyp -> Camlp4.PreCast.Syntax.Ast.expr list * string list * Camlp4.PreCast.Syntax.Ast.ctyp list
Sourceval parseTyp : Camlp4.PreCast.Syntax.Ast.ctyp -> string -> unit
Sourceval parseInvTyp : Camlp4.PreCast.Syntax.Ast.ctyp -> string -> unit
Sourceval type_to_type : Camlp4.PreCast.Syntax.Ast.ctyp -> Camlp4.PreCast.Syntax.Ast.ctyp
Sourceval concrete_type_to_type : Camlp4.PreCast.Syntax.Ast.ctyp -> Camlp4.PreCast.Syntax.Ast.ctyp
Sourceval gen_ktyp : Camlp4.PreCast.Syntax.Ast.loc -> Camlp4.PreCast.Syntax.Ast.ctyp list -> Camlp4.PreCast.Syntax.Ast.ctyp
Sourceval ident_of_string : Camlp4.PreCast.Syntax.Ast.loc -> string -> Camlp4.PreCast.Syntax.Ast.ident
Sourceval gen_args : Camlp4.PreCast.Syntax.Gram.Loc.t -> Camlp4.PreCast.Syntax.Ast.ctyp list -> Camlp4.PreCast.Syntax.Ast.patt * Camlp4.PreCast.Syntax.Ast.expr
Sourceval first_vector : bool ref
Sourceval relaxed : Camlp4.PreCast.Syntax.Ast.loc -> string -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval gen_inv_id : Camlp4.PreCast.Syntax.Ast.ctyp -> Camlp4.PreCast.Syntax.Ast.loc -> string -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval gen_inv_args : Camlp4.PreCast.Syntax.Gram.Loc.t -> Camlp4.PreCast.Syntax.Ast.ctyp list -> Camlp4.PreCast.Syntax.Ast.expr * Camlp4.PreCast.Syntax.Ast.patt
Sourceval bigarray_set : Camlp4.PreCast.Syntax.Ast.loc -> Camlp4.PreCast.Syntax.Ast.expr -> Camlp4.PreCast.Syntax.Ast.expr -> Camlp4.PreCast.Syntax.Ast.expr option