Module Internal_kernels.MparserSource

Sourceval parse_args : Camlp4.PreCast.Syntax.Ast.patt list -> Camlp4.PreCast.Syntax.Ast.expr -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval gen_arg_from_patt : Camlp4.PreCast.Syntax.Ast.patt -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval gen_arg_from_patt2 : Camlp4.PreCast.Syntax.Ast.patt -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval patt_is_vector : Camlp4.PreCast.Syntax.Ast.patt -> bool
Sourceval 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
Sourceval nb_ker : int ref
Sourceval 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
Sourceval gen_ctype_repr : Camlp4.PreCast.Syntax.Ast.ctyp -> Camlp4.PreCast.Syntax.Ast.ident -> 'a -> string
Sourcetype ktyp_repr = {
  1. type_id : int;
  2. name : string;
  3. typ : Sarek_types.ktyp;
  4. ml_typ : Camlp4.PreCast.Syntax.Ast.str_item;
  5. ctype : Camlp4.PreCast.Syntax.Ast.str_item;
  6. crepr : string;
  7. ml_to_c : Camlp4.PreCast.Syntax.Ast.expr;
  8. c_to_ml : Camlp4.PreCast.Syntax.Ast.expr;
  9. build_c : string list;
  10. compare : string;
}
Sourceval type_id : int ref
Sourceval gen_mltyp : Camlp4.PreCast.Syntax.Ast.loc -> string -> Sarek_types.ktyp -> Camlp4.PreCast.Syntax.Ast.str_item
Sourcetype managed_ktyp = {
  1. mk_name : string;
  2. mk_crepr : string;
}
Sourceval type_repr : (string, ktyp_repr) Hashtbl.t
Sourceval has_of : ('a * 'b option) list -> bool
Sourceval gen_ctypes : Camlp4.PreCast.Syntax.Ast.loc -> Sarek_types.customtypes -> string -> Camlp4.PreCast.Syntax.Ast.str_item
Sourceval 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
Sourceval 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