Module Ezlibcob.V1

type !'a comp_kind
type !'a cint
type !'a enum
type !'a comp
type !'a cptr
type !'a carray
module S8 : sig ... end
module U8 : sig ... end
module S16 : sig ... end
module U16 : sig ... end
module S32 : sig ... end
module U32 : sig ... end
module S64 : sig ... end
module U64 : sig ... end
module CFloat : sig ... end
module CDouble : sig ... end
type _ kind =
  1. | Void : unit kind
  2. | Char : char kind
  3. | SInt8 : S8.t kind
  4. | UInt8 : U8.t kind
  5. | SInt16 : S16.t kind
  6. | UInt16 : U16.t kind
  7. | SInt32 : S32.t kind
  8. | UInt32 : U32.t kind
  9. | SInt64 : S64.t kind
  10. | UInt64 : U64.t kind
  11. | CFloat : CFloat.t kind
  12. | CDouble : CDouble.t kind
  13. | CEnum : 'a enum kind
  14. | CComp : 'a comp_kind -> 'a comp kind
  15. | CPtr : 'a kind -> 'a cptr kind
  16. | CArray : 'a kind * int -> 'a carray kind
module CPtr : sig ... end
module CArray : sig ... end
val resolve_cobol_and_call : string -> int
module CobFieldType : sig ... end
module CobFieldFlag : sig ... end
module CobFatalError : sig ... end
module CobStoreOpt : sig ... end
module CobOpenMode : sig ... end
module CobStatement : sig ... end
module CobRuntimeOptionSwitch : sig ... end
module CobPicSymbol : sig ... end
module CobFieldAttr : sig ... end
module CobField : sig ... end
module CobDecimal : sig ... end
module CobCallUnion : sig ... end
module CobScreen : sig ... end
module CobFrameExt : sig ... end
module CobModule : sig ... end
module CobFuncLoc : sig ... end
module CobFileKey : sig ... end
module CobFile : sig ... end
module CobReportLine : sig ... end
module CobReport : sig ... end
module CobMlTree : sig ... end
module CobGlobal : sig ... end
module FCD3 : sig ... end
module CobTime : sig ... end
module CobCallStruct : sig ... end
val cob_get_sig_name : S32.t -> char cptr
val cob_get_sig_description : S32.t -> char cptr
val print_info : unit -> unit
val print_info_detailed : S32.t -> unit
val cob_load_config : unit -> S32.t
val print_runtime_conf : unit -> unit
val cob_set_exception : S32.t -> unit
val cob_last_exception_is : S32.t -> S32.t
val cob_last_exit_code : unit -> S32.t
val cob_last_runtime_error : unit -> char cptr
val cob_cleanup_thread : unit -> unit
val cob_is_initialized : unit -> S32.t
val cob_get_global_ptr : unit -> CobGlobal.t cptr
val cob_init : S32.t -> char cptr cptr -> unit
val cob_init_nomain : S32.t -> char cptr cptr -> unit
val cob_common_init : unit cptr -> unit
val cob_module_global_enter : CobModule.t cptr cptr -> CobGlobal.t cptr cptr -> S32.t -> S32.t -> S32.t
val cob_module_enter : CobModule.t cptr cptr -> CobGlobal.t cptr cptr -> S32.t -> unit
val cob_module_leave : CobModule.t cptr -> unit
val cob_module_free : CobModule.t cptr cptr -> unit
val cob_stop_run : S32.t -> unit
val cob_stop_error : unit -> unit
val cob_fatal_error : CobFatalError.t -> unit
val cob_hard_failure_internal : char cptr -> unit
val cob_malloc : U64.t -> unit cptr
val cob_realloc : unit cptr -> U64.t -> U64.t -> unit cptr
val cob_strdup : char cptr -> char cptr
val cob_free : unit cptr -> unit
val cob_fast_malloc : U64.t -> unit cptr
val cob_cache_malloc : U64.t -> unit cptr
val cob_cache_realloc : unit cptr -> U64.t -> unit cptr
val cob_cache_free : unit cptr -> unit
val cob_set_locale : CobField.t cptr -> S32.t -> unit
val cob_setenv : char cptr -> char cptr -> S32.t -> S32.t
val cob_unsetenv : char cptr -> S32.t
val cob_getenv_direct : char cptr -> char cptr
val cob_expand_env_string : char cptr -> char cptr
val cob_getenv : char cptr -> char cptr
val cob_putenv : char cptr -> S32.t
val cob_check_version : char cptr -> char cptr -> S32.t -> unit
val cob_save_func : CobField.t cptr cptr -> S32.t -> CobField.t cptr array -> CobFuncLoc.t cptr
val cob_restore_func : CobFuncLoc.t cptr -> unit
val cob_accept_arg_number : CobField.t cptr -> unit
val cob_accept_arg_value : CobField.t cptr -> unit
val cob_accept_command_line : CobField.t cptr -> unit
val cob_accept_date : CobField.t cptr -> unit
val cob_accept_date_yyyymmdd : CobField.t cptr -> unit
val cob_accept_day : CobField.t cptr -> unit
val cob_accept_day_yyyyddd : CobField.t cptr -> unit
val cob_accept_day_of_week : CobField.t cptr -> unit
val cob_accept_environment : CobField.t cptr -> unit
val cob_accept_exception_status : CobField.t cptr -> unit
val cob_accept_time : CobField.t cptr -> unit
val cob_accept_microsecond_time : CobField.t cptr -> unit
val cob_accept_user_name : CobField.t cptr -> unit
val cob_display_command_line : CobField.t cptr -> unit
val cob_display_environment : CobField.t cptr -> unit
val cob_display_env_value : CobField.t cptr -> unit
val cob_display_arg_number : CobField.t cptr -> unit
val cob_get_environment : CobField.t cptr -> CobField.t cptr -> unit
val cob_set_environment : CobField.t cptr -> CobField.t cptr -> unit
val cob_chain_setup : unit cptr -> U64.t -> U64.t -> unit
val cob_allocate : U8.t cptr cptr -> CobField.t cptr -> CobField.t cptr -> CobField.t cptr -> unit
val cob_free_alloc : U8.t cptr cptr -> U8.t cptr -> unit
val cob_continue_after : CobField.t cptr -> unit
val cob_extern_init : unit -> S32.t
val cob_tidy : unit -> S32.t
val cob_command_line : S32.t -> S32.t cptr -> char cptr cptr cptr -> char cptr cptr cptr -> char cptr cptr -> char cptr
val cob_incr_temp_iteration : unit -> unit
val cob_temp_name : char cptr -> char cptr -> unit
val cob_sys_exit_proc : unit cptr -> unit cptr -> S32.t
val cob_sys_error_proc : unit cptr -> unit cptr -> S32.t
val cob_sys_runtime_error_proc : unit cptr -> unit cptr -> S32.t
val cob_sys_system : unit cptr -> S32.t
val cob_sys_hosted : unit cptr -> unit cptr -> S32.t
val cob_sys_and : unit cptr -> unit cptr -> S32.t -> S32.t
val cob_sys_or : unit cptr -> unit cptr -> S32.t -> S32.t
val cob_sys_nor : unit cptr -> unit cptr -> S32.t -> S32.t
val cob_sys_xor : unit cptr -> unit cptr -> S32.t -> S32.t
val cob_sys_imp : unit cptr -> unit cptr -> S32.t -> S32.t
val cob_sys_nimp : unit cptr -> unit cptr -> S32.t -> S32.t
val cob_sys_eq : unit cptr -> unit cptr -> S32.t -> S32.t
val cob_sys_not : unit cptr -> S32.t -> S32.t
val cob_sys_xf4 : unit cptr -> unit cptr -> S32.t
val cob_sys_xf5 : unit cptr -> unit cptr -> S32.t
val cob_sys_x91 : unit cptr -> unit cptr -> unit cptr -> S32.t
val cob_sys_toupper : unit cptr -> S32.t -> S32.t
val cob_sys_tolower : unit cptr -> S32.t -> S32.t
val cob_sys_oc_nanosleep : unit cptr -> S32.t
val cob_sys_getpid : unit -> S32.t
val cob_sys_return_args : unit cptr -> S32.t
val cob_sys_parameter_size : unit cptr -> S32.t
val cob_sys_fork : unit -> S32.t
val cob_sys_waitpid : unit cptr -> S32.t
val cob_sys_getopt_long_long : unit cptr -> unit cptr -> unit cptr -> S32.t -> unit cptr -> unit cptr -> S32.t
val cob_sys_sleep : unit cptr -> S32.t
val cob_sys_calledby : unit cptr -> S32.t
val cob_sys_justify : unit cptr -> U8.t cptr array -> S32.t
val cob_sys_printable : unit cptr -> U8.t cptr array -> S32.t
val cob_sys_extfh : unit cptr -> unit cptr -> S32.t
val cob_trace_sect : name:char cptr -> unit
val cob_trace_para : name:char cptr -> unit
val cob_trace_entry : name:char cptr -> unit
val cob_trace_exit : name:char cptr -> unit
val cob_trace_statement : CobStatement.t -> unit
val cob_external_addr : char cptr -> S32.t -> unit cptr
val cob_get_pointer : unit cptr -> U8.t cptr
val cob_ready_trace : unit -> unit
val cob_reset_trace : unit -> unit
val cob_nop : unit -> unit
val cob_set_runtime_option : opt:CobRuntimeOptionSwitch.t -> p:unit cptr -> unit
val cob_get_runtime_option : opt:CobRuntimeOptionSwitch.t -> unit cptr
val cob_stack_trace : target:unit cptr -> unit
val cob_backtrace : target:unit cptr -> count:S32.t -> unit
val cob_get_current_date_and_time : unit -> CobTime.t cptr
val cob_set_date_from_epoch : CobTime.t cptr -> U8.t cptr -> S32.t
val cob_raise : S32.t -> unit
val cob_get_switch : S32.t -> S32.t
val cob_set_switch : S32.t -> S32.t -> unit
val cob_cmp : CobField.t cptr -> CobField.t cptr -> S32.t
val cob_is_omitted : CobField.t cptr -> S32.t
val cob_is_numeric : CobField.t cptr -> S32.t
val cob_is_alpha : CobField.t cptr -> S32.t
val cob_is_upper : CobField.t cptr -> S32.t
val cob_is_lower : CobField.t cptr -> S32.t
val cob_table_sort_init : U64.t -> U8.t cptr -> unit
val cob_table_sort_init_key : CobField.t cptr -> S32.t -> U32.t -> unit
val cob_table_sort : CobField.t cptr -> S32.t -> unit
val cob_check_numeric : CobField.t cptr -> char cptr -> unit
val cob_correct_numeric : CobField.t cptr -> unit
val cob_check_based : U8.t cptr -> char cptr -> unit
val cob_check_linkage : U8.t cptr -> char cptr -> unit
val cob_check_odo : S32.t -> S32.t -> S32.t -> char cptr -> char cptr -> unit
val cob_check_subscript : S32.t -> S32.t -> char cptr -> S32.t -> unit
val cob_check_ref_mod_detailed : char cptr -> S32.t -> S32.t -> S32.t -> S32.t -> S32.t -> unit
val cob_check_ref_mod_minimal : char cptr -> S32.t -> S32.t -> unit
val cob_check_beyond_exit : char cptr -> unit
val cob_check_fence : char cptr -> char cptr -> CobStatement.t -> char cptr -> unit
val cob_numeric_cmp : CobField.t cptr -> CobField.t cptr -> S32.t
val cob_bcd_cmp : CobField.t cptr -> CobField.t cptr -> S32.t
val cob_numeric_display_cmp : CobField.t cptr -> CobField.t cptr -> S32.t
val cob_numeric_display_cmp_zero : CobField.t cptr -> S32.t
val cob_bcd_cmp_zero : CobField.t cptr -> S32.t
val cob_inspect_init : CobField.t cptr -> U32.t -> unit
val cob_inspect_init_converting : CobField.t cptr -> unit
val cob_inspect_start : unit -> unit
val cob_inspect_before : CobField.t cptr -> unit
val cob_inspect_after : CobField.t cptr -> unit
val cob_inspect_characters : CobField.t cptr -> unit
val cob_inspect_all : CobField.t cptr -> CobField.t cptr -> unit
val cob_inspect_leading : CobField.t cptr -> CobField.t cptr -> unit
val cob_inspect_first : CobField.t cptr -> CobField.t cptr -> unit
val cob_inspect_trailing : CobField.t cptr -> CobField.t cptr -> unit
val cob_inspect_converting : CobField.t cptr -> CobField.t cptr -> unit
val cob_inspect_translating : U8.t cptr -> unit
val cob_inspect_finish : unit -> unit
val cob_string_init : CobField.t cptr -> CobField.t cptr -> unit
val cob_string_delimited : CobField.t cptr -> unit
val cob_string_append : CobField.t cptr -> unit
val cob_string_finish : unit -> unit
val cob_move : CobField.t cptr -> CobField.t cptr -> unit
val cob_move_ibm : unit cptr -> unit cptr -> S32.t -> unit
val cob_init_table : unit cptr -> U64.t -> U64.t -> unit
val cob_set_int : CobField.t cptr -> S32.t -> unit
val cob_get_int : CobField.t cptr -> S32.t
val cob_set_llint : CobField.t cptr -> S64.t -> S64.t -> unit
val cob_set_llcon : CobField.t cptr -> S64.t -> unit
val cob_set_compx : CobField.t cptr -> S64.t -> unit
val cob_get_llint : CobField.t cptr -> S64.t
val cob_alloc_move : CobField.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_get_picx : cbldata:unit cptr -> len:U64.t -> charfld:unit cptr -> charlen:U64.t -> char cptr
val cob_get_s64_comp3 : cbldata:unit cptr -> len:S32.t -> S64.t
val cob_get_s64_comp5 : cbldata:unit cptr -> len:S32.t -> S64.t
val cob_get_s64_compx : cbldata:unit cptr -> len:S32.t -> S64.t
val cob_get_s64_pic9 : cbldata:unit cptr -> len:S32.t -> S64.t
val cob_get_u64_comp3 : cbldata:unit cptr -> len:S32.t -> U64.t
val cob_get_u64_comp5 : cbldata:unit cptr -> len:S32.t -> U64.t
val cob_get_u64_comp6 : cbldata:unit cptr -> len:S32.t -> U64.t
val cob_get_u64_compx : cbldata:unit cptr -> len:S32.t -> U64.t
val cob_get_u64_pic9 : cbldata:unit cptr -> len:S32.t -> U64.t
val cob_get_comp1 : cbldata:unit cptr -> CFloat.t
val cob_get_comp2 : cbldata:unit cptr -> CDouble.t
val cob_put_comp1 : val_:CFloat.t -> cbldata:unit cptr -> unit
val cob_put_comp2 : val_:CDouble.t -> cbldata:unit cptr -> unit
val cob_put_picx : cbldata:unit cptr -> len:U64.t -> string:unit cptr -> unit
val cob_put_s64_comp3 : val_:S64.t -> cbldata:unit cptr -> len:S32.t -> unit
val cob_put_s64_comp5 : val_:S64.t -> cbldata:unit cptr -> len:S32.t -> unit
val cob_put_s64_compx : val_:S64.t -> cbldata:unit cptr -> len:S32.t -> unit
val cob_put_s64_pic9 : val_:S64.t -> cbldata:unit cptr -> len:S32.t -> unit
val cob_put_u64_comp3 : val_:U64.t -> cbldata:unit cptr -> len:S32.t -> unit
val cob_put_u64_comp5 : val_:U64.t -> cbldata:unit cptr -> len:S32.t -> unit
val cob_put_u64_comp6 : val_:U64.t -> cbldata:unit cptr -> len:S32.t -> unit
val cob_put_u64_compx : val_:U64.t -> cbldata:unit cptr -> len:S32.t -> unit
val cob_put_u64_pic9 : val_:U64.t -> cbldata:unit cptr -> len:S32.t -> unit
val cob_put_pointer : val_:unit cptr -> cbldata:unit cptr -> unit
val cob_decimal_init : CobDecimal.t cptr -> unit
val cob_decimal_clear : CobDecimal.t cptr -> unit
val cob_decimal_set_llint : CobDecimal.t cptr -> S64.t -> unit
val cob_decimal_set_ullint : CobDecimal.t cptr -> U64.t -> unit
val cob_decimal_set_field : CobDecimal.t cptr -> CobField.t cptr -> unit
val cob_decimal_get_field : CobDecimal.t cptr -> CobField.t cptr -> S32.t -> S32.t
val cob_decimal_set : CobDecimal.t cptr -> CobDecimal.t cptr -> unit
val cob_decimal_add : CobDecimal.t cptr -> CobDecimal.t cptr -> unit
val cob_decimal_sub : CobDecimal.t cptr -> CobDecimal.t cptr -> unit
val cob_decimal_mul : CobDecimal.t cptr -> CobDecimal.t cptr -> unit
val cob_decimal_div : CobDecimal.t cptr -> CobDecimal.t cptr -> unit
val cob_decimal_pow : CobDecimal.t cptr -> CobDecimal.t cptr -> unit
val cob_decimal_cmp : CobDecimal.t cptr -> CobDecimal.t cptr -> S32.t
val cob_decimal_align : CobDecimal.t cptr -> S32.t -> unit
val cob_logical_not : d0:CobDecimal.t cptr -> d1:CobDecimal.t cptr -> unit
val cob_logical_and : d0:CobDecimal.t cptr -> d1:CobDecimal.t cptr -> unit
val cob_logical_xor : d0:CobDecimal.t cptr -> d1:CobDecimal.t cptr -> unit
val cob_logical_or : d0:CobDecimal.t cptr -> d1:CobDecimal.t cptr -> unit
val cob_logical_left : d0:CobDecimal.t cptr -> d1:CobDecimal.t cptr -> unit
val cob_logical_right : d0:CobDecimal.t cptr -> d1:CobDecimal.t cptr -> unit
val cob_logical_left_c : d0:CobDecimal.t cptr -> d1:CobDecimal.t cptr -> sz:S32.t -> unit
val cob_logical_right_c : d0:CobDecimal.t cptr -> d1:CobDecimal.t cptr -> sz:S32.t -> unit
val cob_add : CobField.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_sub : CobField.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_mul : CobField.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_div : CobField.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_add_int : CobField.t cptr -> S32.t -> S32.t -> S32.t
val cob_sub_int : CobField.t cptr -> S32.t -> S32.t -> S32.t
val cob_div_quotient : CobField.t cptr -> CobField.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_div_remainder : CobField.t cptr -> S32.t -> unit
val cob_cmp_int : CobField.t cptr -> S32.t -> S32.t
val cob_cmp_uint : CobField.t cptr -> U32.t -> S32.t
val cob_cmp_llint : CobField.t cptr -> S64.t -> S32.t
val cob_cmp_packed : CobField.t cptr -> S64.t -> S32.t
val cob_cmp_numdisp : U8.t cptr -> U64.t -> S64.t -> U32.t -> S32.t
val cob_cmp_float : CobField.t cptr -> CobField.t cptr -> S32.t
val cob_set_packed_zero : CobField.t cptr -> unit
val cob_set_packed_int : CobField.t cptr -> S32.t -> unit
val cob_move_bcd : CobField.t cptr -> CobField.t cptr -> unit
val cob_decimal_alloc : CobDecimal.t cptr cptr array -> unit
val cob_decimal_push : CobDecimal.t cptr cptr array -> unit
val cob_decimal_pop : CobDecimal.t cptr array -> unit
val cob_gmp_free : unit cptr -> unit
val cob_s32_pow : S32.t -> S32.t -> S32.t
val cob_s64_pow : S64.t -> S64.t -> S64.t
val cob_call_error : unit -> unit
val cob_field_constant : f:CobField.t cptr -> t:CobField.t cptr -> a:CobFieldAttr.t cptr -> d:unit cptr -> unit
val cob_set_cancel : CobModule.t cptr -> unit
val cob_encode_program_id : U8.t cptr -> U8.t cptr -> S32.t -> S32.t -> S32.t
val cob_resolve : char cptr -> unit cptr
val cob_resolve_cobol : char cptr -> S32.t -> S32.t -> unit cptr
val cob_resolve_func : char cptr -> unit cptr
val cob_resolve_error : unit -> char cptr
val cob_call_field : CobField.t cptr -> CobCallStruct.t cptr -> U32.t -> S32.t -> unit cptr
val cob_cancel_field : CobField.t cptr -> CobCallStruct.t cptr -> unit
val cob_cancel : char cptr -> unit
val cob_call_with_exception_check : char cptr -> S32.t -> unit cptr cptr -> S32.t
val cob_call : char cptr -> S32.t -> unit cptr cptr -> S32.t
val cob_func : char cptr -> S32.t -> unit cptr cptr -> S32.t
val cob_get_num_params : unit -> S32.t
val cob_get_param_constant : num_param:S32.t -> S32.t
val cob_get_param_digits : num_param:S32.t -> S32.t
val cob_get_param_scale : num_param:S32.t -> S32.t
val cob_get_param_sign : num_param:S32.t -> S32.t
val cob_get_param_size : num_param:S32.t -> S32.t
val cob_get_param_type : num_param:S32.t -> S32.t
val cob_get_param_data : num_param:S32.t -> unit cptr
val cob_get_s64_param : num_param:S32.t -> S64.t
val cob_get_u64_param : num_param:S32.t -> U64.t
val cob_get_dbl_param : num_param:S32.t -> CDouble.t
val cob_put_dbl_param : num_param:S32.t -> value:CDouble.t -> unit
val cob_put_s64_param : num_param:S32.t -> value:S64.t -> unit
val cob_put_u64_param : num_param:S32.t -> value:U64.t -> unit
val cob_get_picx_param : num_param:S32.t -> charfld:unit cptr -> charlen:U64.t -> char cptr
val cob_get_grp_param : num_param:S32.t -> charfld:unit cptr -> charlen:U64.t -> unit cptr
val cob_put_picx_param : num_param:S32.t -> charfld:unit cptr -> unit
val cob_put_grp_param : num_param:S32.t -> charfld:unit cptr -> charlen:U64.t -> unit
val cob_get_param_str : num_param:S32.t -> buff:char cptr -> size:U64.t -> char cptr
val cob_get_param_str_buffered : num_param:S32.t -> char cptr
val cob_put_param_str : num_param:S32.t -> src:char cptr -> S32.t
val cob_get_param_field : n:S32.t -> caller_name:char cptr -> CobField.t cptr
val cob_get_field_size : CobField.t cptr -> S32.t
val cob_get_field_type : CobField.t cptr -> S32.t
val cob_get_field_digits : CobField.t cptr -> S32.t
val cob_get_field_scale : CobField.t cptr -> S32.t
val cob_get_field_sign : CobField.t cptr -> S32.t
val cob_get_field_constant : CobField.t cptr -> S32.t
val explain_field_type : CobField.t cptr -> char cptr
val cob_get_field_str : CobField.t cptr -> buff:char cptr -> size:U64.t -> char cptr
val cob_get_field_str_buffered : CobField.t cptr -> char cptr
val cob_put_field_str : CobField.t cptr -> char cptr -> S32.t
val cob_screen_line_col : CobField.t cptr -> S32.t -> unit
val cob_screen_display : CobScreen.t cptr -> CobField.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_screen_accept : CobScreen.t cptr -> CobField.t cptr -> CobField.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_accept_field : CobField.t cptr -> S64.t -> char cptr -> CobField.t cptr array -> unit
val cob_display_field : CobField.t cptr -> S64.t -> char cptr -> CobField.t cptr array -> unit
val cob_display_text : char cptr -> S32.t
val cob_get_char : unit -> S32.t
val cob_set_cursor_pos : S32.t -> S32.t -> unit
val cob_accept_escape_key : CobField.t cptr -> unit
val cob_sys_clear_screen : unit -> S32.t
val cob_sys_sound_bell : unit -> S32.t
val cob_sys_get_scr_size : U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_set_scr_size : U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_scr_dump : U8.t cptr -> S32.t
val cob_sys_scr_restore : U8.t cptr -> S32.t
val cob_sys_window : U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_get_char : U8.t cptr -> S32.t
val cob_get_text : char cptr -> S32.t -> S32.t
val cob_get_scr_cols : unit -> S32.t
val cob_get_scr_lines : unit -> S32.t
val cob_sys_get_csr_pos : U8.t cptr -> S32.t
val cob_sys_set_csr_pos : U8.t cptr -> S32.t
val cob_sys_open_vfile : U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_read_vfile : U16.t -> U32.t -> U32.t -> U8.t cptr -> S32.t
val cob_sys_write_vfile : U16.t -> U32.t -> U32.t -> U8.t cptr -> S32.t
val cob_sys_close_vfile : U16.t -> S32.t
val cob_sys_open_vfile2 : U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_read_vfile2 : U16.t -> U64.t -> U32.t -> U8.t cptr -> S32.t
val cob_sys_write_vfile2 : U16.t -> U64.t -> U32.t -> U8.t cptr -> S32.t
val cob_display : S32.t -> S32.t -> CobField.t cptr array -> unit
val cob_dump_output : char cptr -> unit
val cob_dump_file : char cptr -> CobFile.t cptr -> unit
val cob_dump_field : S32.t -> char cptr -> CobField.t cptr -> U64.t -> S32.t array -> unit
val cob_accept : CobField.t cptr -> unit
val cob_file_external_addr : char cptr -> CobFile.t cptr cptr -> CobFileKey.t cptr cptr -> nkeys:S32.t -> linage:S32.t -> unit
val cob_file_malloc : CobFile.t cptr cptr -> CobFileKey.t cptr cptr -> nkeys:S32.t -> linage:S32.t -> unit
val cob_file_free : CobFile.t cptr cptr -> CobFileKey.t cptr cptr -> unit
val cob_commit : unit -> unit
val cob_rollback : unit -> unit
val cob_pre_open : f:CobFile.t cptr -> unit
val cob_pre_open_def : f:CobFile.t cptr -> setdef:char cptr -> isdef:char cptr -> checkit:S32.t -> unit
val cob_findkey : CobFile.t cptr -> CobField.t cptr -> S32.t cptr -> S32.t cptr -> S32.t
val cob_open : CobFile.t cptr -> CobOpenMode.t -> S32.t -> CobField.t cptr -> unit
val cob_close : CobFile.t cptr -> CobField.t cptr -> S32.t -> S32.t -> unit
val cob_read : CobFile.t cptr -> CobField.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_read_next : CobFile.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_rewrite : CobFile.t cptr -> CobField.t cptr -> S32.t -> CobField.t cptr -> unit
val cob_delete : CobFile.t cptr -> CobField.t cptr -> unit
val cob_start : CobFile.t cptr -> S32.t -> CobField.t cptr -> CobField.t cptr -> CobField.t cptr -> unit
val cob_write : CobFile.t cptr -> CobField.t cptr -> S32.t -> CobField.t cptr -> U32.t -> unit
val cob_delete_file : CobFile.t cptr -> CobField.t cptr -> S32.t -> unit
val cob_unlock_file : CobFile.t cptr -> CobField.t cptr -> unit
val f_EXTFH : opcode:U8.t cptr -> fcd:FCD3.t cptr -> S32.t
val cob_file_fcd_adrs : CobFile.t cptr -> unit cptr -> unit
val cob_file_fcdkey_adrs : CobFile.t cptr -> unit cptr -> unit
val cob_sys_open_file : U8.t cptr -> U8.t cptr -> U8.t cptr -> U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_create_file : U8.t cptr -> U8.t cptr -> U8.t cptr -> U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_read_file : U8.t cptr -> U8.t cptr -> U8.t cptr -> U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_write_file : U8.t cptr -> U8.t cptr -> U8.t cptr -> U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_close_file : U8.t cptr -> S32.t
val cob_sys_flush_file : U8.t cptr -> S32.t
val cob_sys_delete_file : U8.t cptr -> S32.t
val cob_sys_copy_file : U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_check_file_exist : U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_rename_file : U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_get_current_dir : S32.t -> S32.t -> U8.t cptr -> S32.t
val cob_sys_change_dir : U8.t cptr -> S32.t
val cob_sys_create_dir : U8.t cptr -> S32.t
val cob_sys_delete_dir : U8.t cptr -> S32.t
val cob_sys_chdir : U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_mkdir : U8.t cptr -> S32.t
val cob_sys_copyfile : U8.t cptr -> U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_file_info : U8.t cptr -> U8.t cptr -> S32.t
val cob_sys_file_delete : U8.t cptr -> U8.t cptr -> S32.t
val cob_file_sort_init : CobFile.t cptr -> U32.t -> U8.t cptr -> unit cptr -> CobField.t cptr -> unit
val cob_file_sort_options : CobFile.t cptr -> char cptr -> CobFile.t cptr array -> unit
val cob_file_sort_init_key : CobFile.t cptr -> CobField.t cptr -> S32.t -> U32.t -> unit
val cob_file_sort_close : CobFile.t cptr -> unit
val cob_file_sort_using : CobFile.t cptr -> CobFile.t cptr -> unit
val cob_file_sort_giving : CobFile.t cptr -> CobFile.t cptr array -> unit
val cob_file_release : CobFile.t cptr -> unit
val cob_file_return : CobFile.t cptr -> unit
val cob_path_to_absolute : path:char cptr -> char cptr
val cob_report_initiate : CobReport.t cptr -> S32.t
val cob_report_terminate : CobReport.t cptr -> S32.t
val cob_report_generate : CobReport.t cptr -> CobReportLine.t cptr -> S32.t
val cob_report_suppress : CobReport.t cptr -> CobReportLine.t cptr -> unit
val cob_is_valid_uri : char cptr -> S32.t
val cob_is_xml_namestartchar : S32.t -> S32.t
val cob_is_xml_namechar : S32.t -> S32.t
val cob_xml_generate : CobField.t cptr -> CobMlTree.t cptr -> CobField.t cptr -> S32.t -> CobField.t cptr -> CobField.t cptr -> char -> unit
val cob_json_generate : CobField.t cptr -> CobMlTree.t cptr -> CobField.t cptr -> char -> unit
val cob_xml_parse : CobField.t cptr -> CobField.t cptr -> CobField.t cptr -> S32.t -> unit cptr cptr -> S32.t
val cob_put_indirect_field : CobField.t cptr -> unit
val cob_get_indirect_field : CobField.t cptr -> unit
val cob_switch_value : S32.t -> CobField.t cptr
val cob_intr_binop : CobField.t cptr -> S32.t -> CobField.t cptr -> CobField.t cptr
val cob_check_numval : CobField.t cptr -> CobField.t cptr -> S32.t -> S32.t -> S32.t
val cob_valid_date_format : char cptr -> S32.t
val cob_valid_datetime_format : char cptr -> char -> S32.t
val cob_valid_time_format : char cptr -> char -> S32.t
val cob_intr_current_date : S32.t -> S32.t -> CobField.t cptr
val cob_intr_when_compiled : S32.t -> S32.t -> CobField.t cptr -> CobField.t cptr
val cob_intr_module_date : unit -> CobField.t cptr
val cob_intr_module_time : unit -> CobField.t cptr
val cob_intr_module_id : unit -> CobField.t cptr
val cob_intr_module_caller_id : unit -> CobField.t cptr
val cob_intr_module_source : unit -> CobField.t cptr
val cob_intr_module_formatted_date : unit -> CobField.t cptr
val cob_intr_module_path : unit -> CobField.t cptr
val cob_intr_exception_file : unit -> CobField.t cptr
val cob_intr_exception_location : unit -> CobField.t cptr
val cob_intr_exception_status : unit -> CobField.t cptr
val cob_intr_exception_statement : unit -> CobField.t cptr
val cob_intr_mon_decimal_point : unit -> CobField.t cptr
val cob_intr_num_decimal_point : unit -> CobField.t cptr
val cob_intr_mon_thousands_sep : unit -> CobField.t cptr
val cob_intr_num_thousands_sep : unit -> CobField.t cptr
val cob_intr_currency_symbol : unit -> CobField.t cptr
val cob_intr_char : CobField.t cptr -> CobField.t cptr
val cob_intr_ord : CobField.t cptr -> CobField.t cptr
val cob_intr_stored_char_length : CobField.t cptr -> CobField.t cptr
val cob_intr_combined_datetime : CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_date_of_integer : CobField.t cptr -> CobField.t cptr
val cob_intr_day_of_integer : CobField.t cptr -> CobField.t cptr
val cob_intr_integer_of_date : CobField.t cptr -> CobField.t cptr
val cob_intr_integer_of_day : CobField.t cptr -> CobField.t cptr
val cob_intr_test_date_yyyymmdd : CobField.t cptr -> CobField.t cptr
val cob_intr_test_day_yyyyddd : CobField.t cptr -> CobField.t cptr
val cob_intr_test_numval : CobField.t cptr -> CobField.t cptr
val cob_intr_test_numval_c : CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_test_numval_f : CobField.t cptr -> CobField.t cptr
val cob_intr_factorial : CobField.t cptr -> CobField.t cptr
val cob_intr_pi : unit -> CobField.t cptr
val cob_intr_e : unit -> CobField.t cptr
val cob_intr_exp : CobField.t cptr -> CobField.t cptr
val cob_intr_exp10 : CobField.t cptr -> CobField.t cptr
val cob_intr_abs : CobField.t cptr -> CobField.t cptr
val cob_intr_acos : CobField.t cptr -> CobField.t cptr
val cob_intr_asin : CobField.t cptr -> CobField.t cptr
val cob_intr_atan : CobField.t cptr -> CobField.t cptr
val cob_intr_cos : CobField.t cptr -> CobField.t cptr
val cob_intr_log : CobField.t cptr -> CobField.t cptr
val cob_intr_log10 : CobField.t cptr -> CobField.t cptr
val cob_intr_sin : CobField.t cptr -> CobField.t cptr
val cob_intr_sqrt : CobField.t cptr -> CobField.t cptr
val cob_intr_tan : CobField.t cptr -> CobField.t cptr
val cob_intr_upper_case : S32.t -> S32.t -> CobField.t cptr -> CobField.t cptr
val cob_intr_lower_case : S32.t -> S32.t -> CobField.t cptr -> CobField.t cptr
val cob_intr_reverse : S32.t -> S32.t -> CobField.t cptr -> CobField.t cptr
val cob_intr_concatenate : S32.t -> S32.t -> CobField.t cptr array -> CobField.t cptr
val cob_intr_substitute : S32.t -> S32.t -> CobField.t cptr array -> CobField.t cptr
val cob_intr_substitute_case : S32.t -> S32.t -> CobField.t cptr array -> CobField.t cptr
val cob_intr_trim : S32.t -> S32.t -> CobField.t cptr -> S32.t -> CobField.t cptr
val cob_intr_length : CobField.t cptr -> CobField.t cptr
val cob_intr_byte_length : CobField.t cptr -> CobField.t cptr
val cob_intr_integer : CobField.t cptr -> CobField.t cptr
val cob_intr_integer_part : CobField.t cptr -> CobField.t cptr
val cob_intr_fraction_part : CobField.t cptr -> CobField.t cptr
val cob_intr_sign : CobField.t cptr -> CobField.t cptr
val cob_intr_lowest_algebraic : CobField.t cptr -> CobField.t cptr
val cob_intr_highest_algebraic : CobField.t cptr -> CobField.t cptr
val cob_intr_numval : CobField.t cptr -> CobField.t cptr
val cob_intr_numval_c : CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_numval_f : CobField.t cptr -> CobField.t cptr
val cob_intr_annuity : CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_mod : CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_rem : CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_sum : CobField.t cptr array -> CobField.t cptr
val cob_intr_ord_min : CobField.t cptr array -> CobField.t cptr
val cob_intr_ord_max : CobField.t cptr array -> CobField.t cptr
val cob_intr_min : CobField.t cptr array -> CobField.t cptr
val cob_intr_max : CobField.t cptr array -> CobField.t cptr
val cob_intr_midrange : CobField.t cptr array -> CobField.t cptr
val cob_intr_median : CobField.t cptr array -> CobField.t cptr
val cob_intr_mean : CobField.t cptr array -> CobField.t cptr
val cob_intr_range : CobField.t cptr array -> CobField.t cptr
val cob_intr_random : CobField.t cptr array -> CobField.t cptr
val cob_intr_variance : CobField.t cptr array -> CobField.t cptr
val cob_intr_standard_deviation : CobField.t cptr array -> CobField.t cptr
val cob_intr_present_value : CobField.t cptr array -> CobField.t cptr
val cob_intr_year_to_yyyy : CobField.t cptr array -> CobField.t cptr
val cob_intr_date_to_yyyymmdd : CobField.t cptr array -> CobField.t cptr
val cob_intr_day_to_yyyyddd : CobField.t cptr array -> CobField.t cptr
val cob_intr_locale_compare : CobField.t cptr array -> CobField.t cptr
val cob_intr_locale_date : S32.t -> S32.t -> CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_locale_time : S32.t -> S32.t -> CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_seconds_past_midnight : unit -> CobField.t cptr
val cob_intr_lcl_time_from_secs : S32.t -> S32.t -> CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_seconds_from_formatted_time : CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_boolean_of_integer : CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_char_national : CobField.t cptr -> CobField.t cptr
val cob_intr_display_of : S32.t -> S32.t -> CobField.t cptr array -> CobField.t cptr
val cob_intr_exception_file_n : unit -> CobField.t cptr
val cob_intr_exception_location_n : unit -> CobField.t cptr
val cob_intr_formatted_current_date : S32.t -> S32.t -> CobField.t cptr -> CobField.t cptr
val cob_intr_formatted_date : S32.t -> S32.t -> CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_formatted_datetime1 : S32.t -> S32.t -> fmt:CobField.t cptr -> days:CobField.t cptr -> time:CobField.t cptr -> use_system_offset:S32.t -> CobField.t cptr
val cob_intr_formatted_datetime2 : S32.t -> S32.t -> fmt:CobField.t cptr -> days:CobField.t cptr -> time:CobField.t cptr -> offset_time:CobField.t cptr -> use_system_offset:S32.t -> CobField.t cptr
val cob_intr_formatted_time1 : S32.t -> S32.t -> format:CobField.t cptr -> time:CobField.t cptr -> use_system_offset:S32.t -> CobField.t cptr
val cob_intr_formatted_time2 : S32.t -> S32.t -> format:CobField.t cptr -> time:CobField.t cptr -> offset_time:CobField.t cptr -> use_system_offset:S32.t -> CobField.t cptr
val cob_intr_integer_of_boolean : CobField.t cptr -> CobField.t cptr
val cob_intr_national_of : S32.t -> S32.t -> CobField.t cptr array -> CobField.t cptr
val cob_intr_standard_compare : CobField.t cptr array -> CobField.t cptr
val cob_intr_test_formatted_datetime : CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_integer_of_formatted_date : CobField.t cptr -> CobField.t cptr -> CobField.t cptr
val cob_intr_content_length : CobField.t cptr -> CobField.t cptr
val cob_intr_content_of : S32.t -> S32.t -> CobField.t cptr array -> CobField.t cptr
val cob_intr_bit_of : CobField.t cptr -> CobField.t cptr
val cob_intr_bit_to_char : CobField.t cptr -> CobField.t cptr
val cob_intr_hex_of : CobField.t cptr -> CobField.t cptr
val cob_intr_hex_to_char : CobField.t cptr -> CobField.t cptr
val cob_load_collation : char cptr -> U8.t cptr -> U8.t cptr -> S32.t