spoc 20210823 · OCaml Package

exception Unauthorized_Recursion of string

exception Unauthorized_String_Access of string

exception Unauthorized_Array_Access of string

exception Unauthorized_Type of string * string

exception 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

val debug : bool

val print : string -> unit

val expr_of_string : 
  Camlp4.PreCast.Syntax.Gram.Loc.t ->
  string ->
  Camlp4.PreCast.Syntax.Ast.expr

val id : int Stdlib.ref

val arg_string : string Stdlib.ref

val arg_string2 : string Stdlib.ref

val idx : int Stdlib.ref

val create_new_var : 
  Camlp4.PreCast.Syntax.Gram.Loc.t ->
  Camlp4.PreCast.Syntax.Ast.expr * string

val string_of_ident : Camlp4.PreCast.Syntax.Ast.ident -> string

val fst3 : ('a * 'b * 'c) -> 'a

val snd3 : ('a * 'b * 'c) -> 'b

val thrd3 : ('a * 'b * 'c) -> 'c

val parse_ctyp : 
  Camlp4.PreCast.Syntax.Ast.ctyp ->
  Camlp4.PreCast.Syntax.Ast.expr list
  * string list
  * Camlp4.PreCast.Syntax.Ast.ctyp list

val parseTyp : Camlp4.PreCast.Syntax.Ast.ctyp -> string -> unit

val parseInvTyp : Camlp4.PreCast.Syntax.Ast.ctyp -> string -> unit

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

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

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

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

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

val first_vector : bool Stdlib.ref

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

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

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

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

package spoc