Kernels_ext (p.spoc.20210823.doc.spoc.external_kernels.External_kernels.Kernels

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

exception Unbound_value2 of (Camlp4.PreCast.Syntax.Ast.Loc.t * string)
                  * Camlp4.PreCast.Syntax.Ast.Loc.t

Sourceval debug : bool

Sourceval print : string -> unit

Source

val 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

Source

val 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

Source

val 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

Source

val type_to_type : 
  Camlp4.PreCast.Syntax.Ast.ctyp ->
  Camlp4.PreCast.Syntax.Ast.ctyp

Source

val concrete_type_to_type : 
  Camlp4.PreCast.Syntax.Ast.ctyp ->
  Camlp4.PreCast.Syntax.Ast.ctyp

Source

val gen_ktyp : 
  Camlp4.PreCast.Syntax.Ast.loc ->
  Camlp4.PreCast.Syntax.Ast.ctyp list ->
  Camlp4.PreCast.Syntax.Ast.ctyp

Source

val ident_of_string : 
  Camlp4.PreCast.Syntax.Ast.loc ->
  string ->
  Camlp4.PreCast.Syntax.Ast.ident

Source

val 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

Source

val relaxed : 
  Camlp4.PreCast.Syntax.Ast.loc ->
  string ->
  Camlp4.PreCast.Syntax.Ast.expr

Source

val gen_inv_id : 
  Camlp4.PreCast.Syntax.Ast.ctyp ->
  Camlp4.PreCast.Syntax.Ast.loc ->
  string ->
  Camlp4.PreCast.Syntax.Ast.expr

Source

val 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

Source

val bigarray_set : 
  Camlp4.PreCast.Syntax.Ast.loc ->
  Camlp4.PreCast.Syntax.Ast.expr ->
  Camlp4.PreCast.Syntax.Ast.expr ->
  Camlp4.PreCast.Syntax.Ast.expr option