sarek 20210823 · OCaml Package

val parse_args : 
  Camlp4.PreCast.Syntax.Ast.patt list ->
  Camlp4.PreCast.Syntax.Ast.expr ->
  Camlp4.PreCast.Syntax.Ast.expr

val gen_arg_from_patt : 
  Camlp4.PreCast.Syntax.Ast.patt ->
  Camlp4.PreCast.Syntax.Ast.expr

val gen_arg_from_patt2 : 
  Camlp4.PreCast.Syntax.Ast.patt ->
  Camlp4.PreCast.Syntax.Ast.expr

val patt_is_vector : Camlp4.PreCast.Syntax.Ast.patt -> bool

val gen_arg_from_patt3 : 
  Camlp4.PreCast.Syntax.Ast.patt ->
  Camlp4.PreCast.Syntax.Ast.patt
  * Camlp4.PreCast.Syntax.Ast.expr
  * Camlp4.PreCast.Syntax.Ast.ctyp
  * Camlp4.PreCast.Syntax.Ast.patt
  * Camlp4.PreCast.Syntax.Ast.expr
  * Camlp4.PreCast.Syntax.Ast.ctyp

val float32_expr : Sarek_types.kexpr -> Sarek_types.kexpr

val float64_expr : Sarek_types.kexpr -> Sarek_types.kexpr

val nb_ker : int ref

val gen_ctype : 
  Camlp4.PreCast.Syntax.Ast.ctyp ->
  Camlp4.PreCast.Syntax.Ast.ident ->
  string ->
  'a ->
  Camlp4.PreCast.Syntax.Ast.loc ->
  Camlp4.PreCast.Syntax.Ast.str_item

val gen_ctype_repr : 
  Camlp4.PreCast.Syntax.Ast.ctyp ->
  Camlp4.PreCast.Syntax.Ast.ident ->
  'a ->
  string

type ktyp_repr = {

type_id : int;
name : string;
typ : Sarek_types.ktyp;
ml_typ : Camlp4.PreCast.Syntax.Ast.str_item;
ctype : Camlp4.PreCast.Syntax.Ast.str_item;
crepr : string;
ml_to_c : Camlp4.PreCast.Syntax.Ast.expr;
c_to_ml : Camlp4.PreCast.Syntax.Ast.expr;
build_c : string list;
compare : string;

}

val type_id : int ref

val gen_mltyp : 
  Camlp4.PreCast.Syntax.Ast.loc ->
  string ->
  Sarek_types.ktyp ->
  Camlp4.PreCast.Syntax.Ast.str_item

type managed_ktyp = {

mk_name : string;
mk_crepr : string;

}

val type_repr : (string, ktyp_repr) Hashtbl.t

val has_of : ('a * 'b option) list -> bool

val gen_ctypes : 
  Camlp4.PreCast.Syntax.Ast.loc ->
  Sarek_types.customtypes ->
  string ->
  Camlp4.PreCast.Syntax.Ast.str_item

val gen_labels : 
  Camlp4.PreCast.Syntax.Ast.loc ->
  (Camlp4.PreCast.Syntax.Ast.ident * Camlp4.PreCast.Syntax.Ast.ctyp * bool) ->
  (Camlp4.PreCast.Syntax.Ast.ctyp list
   * Camlp4.PreCast.Syntax.Ast.ident list
   * bool list)
    option ->
  Camlp4.PreCast.Syntax.Ast.ctyp list
  * Camlp4.PreCast.Syntax.Ast.ident list
  * bool list

val gen_constructors : 
  'a ->
  (string * Camlp4.PreCast.Syntax.Ast.ctyp option) ->
  (string * Camlp4.PreCast.Syntax.Ast.ctyp option) list option ->
  (string * Camlp4.PreCast.Syntax.Ast.ctyp option) list

package sarek