Pure_C_config (arrayjit.Ir.C_syntax.Pure_C

Parameters

module Input : sig ... end

Signature

val procs : Low_level.optimized Base.array

type nonrec buffer_ptr = Input.buffer_ptr

val use_host_memory : 
  (size_in_bytes:Base.int ->
    Base.unit Ctypes.ptr ->
    Input.buffer_ptr)
    Base.option

val main_kernel_prefix : string

val kernel_prep_line : string

val buffer_prefix : string

val buffer_suffix : pos:'a -> string

val arg_int_prefix : string

val extra_args : 'a list

val includes : string list

val extra_declarations : string list

val typ_of_prec : Ops.prec -> string

val float_log_style : string

val styled_log_arg : PPrint.document -> PPrint.document

val ident_blacklist : Base.String.t list

val ternop_syntax : 
  Ops.prec ->
  Ops.ternop ->
  PPrint.document ->
  PPrint.document ->
  PPrint.document ->
  PPrint.document

val binop_syntax : 
  Ops.prec ->
  Ops.binop ->
  PPrint.document ->
  PPrint.document ->
  PPrint.document

val unop_syntax : Ops.prec -> Ops.unop -> PPrint.document -> PPrint.document

val convert_precision : from:Ops.prec -> to_:Ops.prec -> Base.String.t * string

val kernel_log_param : (string * string) option

val log_involves_file_management : bool

val for_log_trace_tree : Base.Bool.t

val pp_log_statement : 
  log_param_c_expr_doc:'a ->
  base_message_literal:Base.String.t ->
  args_docs:PPrint.document Base.List.t ->
  PPrint.document