• Logo for Diskuv
  • 01 Pricing
  • Customer Portal

Jump To

  • 🏠 DkCoder
  • dkcoder-libraries(7)

Table of Contents

  • ocaml-base-compiler
    • Library compiler-libs.bytecomp
      • Bytegen
      • Bytelibrarian
      • Bytelink
      • Bytepackager
      • Compile
      • Emitcode
      • Errors
      • Instruct
      • Maindriver
      • Printinstr
    • Library compiler-libs.common
      • Annot
      • Arg_helper
      • Ast_helper
        • Const
        • Attr
        • Typ
        • Pat
        • Exp
        • Val
        • Type
        • Te
        • Mty
        • Mod
        • Sig
        • Str
        • Md
        • Ms
        • Mtd
        • Mb
        • Opn
        • Incl
        • Vb
        • Cty
        • Ctf
        • Cl
        • Cf
        • Ci
        • Csig
        • Cstr
        • Rf
        • Of
      • Ast_invariants
      • Ast_iterator
      • Ast_mapper
      • Asttypes
      • Attr_helper
      • Binutils
      • Btype
      • Build_path_prefix_map
      • Builtin_attributes
      • Bytesections
      • CamlinternalMenhirLib
      • Ccomp
      • Clflags
      • Cmi_format
      • Cmo_format
      • Cmt2annot
      • Cmt_format
      • Compenv
      • Compile_common
      • Compmisc
      • Compression
      • Config
      • Config_boot
      • Config_main
      • Consistbl
      • Ctype
      • Datarepr
      • Debuginfo
      • Depend
      • Diffing
      • Diffing_with_keys
      • Dll
      • Docstrings
      • Domainstate
      • Env
      • Envaux
      • Errortrace
      • Expunge
      • Ident
      • Identifiable
      • Includeclass
      • Includecore
      • Includemod
      • Includemod_errorprinter
      • Int_replace_polymorphic_compare
      • Lambda
      • Lazy_backtrack
      • Lexer
      • Load_path
      • Local_store
      • Location
      • Longident
      • Main_args
      • Makedepend
      • Matching
      • Meta
      • Misc
      • Mtype
      • Numbers
      • Opcodes
      • Oprint
      • Outcometree
      • Parmatch
      • Parse
      • Parser
      • Parsetree
      • Path
      • Patterns
      • Persistent_env
      • Pparse
      • Pprintast
      • Predef
      • Primitive
      • Printast
      • Printlambda
      • Printpat
      • Printtyp
      • Printtyped
      • Profile
      • Runtimedef
      • Shape
      • Shape_reduce
      • Signature_group
      • Simplif
      • Strongly_connected_components
      • Stypes
      • Subst
      • Switch
      • Symtable
      • Syntaxerr
      • Targetint
      • Tast_iterator
      • Tast_mapper
      • Terminfo
      • Tmc
      • Translattribute
      • Translclass
      • Translcore
      • Translmod
      • Translobj
      • Translprim
      • Type_immediacy
      • Typeclass
      • Typecore
      • Typedecl
      • Typedecl_immediacy
      • Typedecl_properties
      • Typedecl_separability
      • Typedecl_unboxed
      • Typedecl_variance
      • Typedtree
      • Typemod
      • Typeopt
      • Types
      • Typetexp
      • Unit_info
      • Untypeast
      • Value_rec_check
      • Value_rec_compiler
      • Value_rec_types
      • Warnings
      • X86_ast
    • Library compiler-libs.optcomp
      • Afl_instrument
      • Alias_analysis
      • Allocated_const
      • Arch
      • Asmgen
      • Asmlibrarian
      • Asmlink
      • Asmpackager
      • Augment_specialised_args
      • Backend_intf
      • Backend_var
      • Branch_relaxation
      • Branch_relaxation_intf
      • Build_export_info
      • CSE
      • CSEgen
      • Clambda
      • Clambda_primitives
      • Closure
      • Closure_conversion
      • Closure_conversion_aux
      • Closure_element
      • Closure_id
      • Closure_middle_end
      • Closure_offsets
      • Closure_origin
      • Cmm
      • Cmm_helpers
      • Cmm_invariants
      • Cmmgen
      • Cmmgen_state
      • Cmx_format
      • Cmxs_format
      • Coloring
      • Comballoc
      • Compilation_unit
      • Compilenv
      • Convert_primitives
      • Dataflow
      • Deadcode
      • Effect_analysis
      • Emit
      • Emitaux
      • Emitenv
      • Export_id
      • Export_info
      • Export_info_for_pack
      • Extract_projections
      • Find_recursive_functions
      • Flambda
      • Flambda_invariants
      • Flambda_iterators
      • Flambda_middle_end
      • Flambda_to_clambda
      • Flambda_utils
      • Freshening
      • Id_types
      • Import_approx
      • Inconstant_idents
      • Initialize_symbol_to_let_symbol
      • Inline_and_simplify
      • Inline_and_simplify_aux
      • Inlining_cost
      • Inlining_decision
      • Inlining_decision_intf
      • Inlining_stats
      • Inlining_stats_types
      • Inlining_transforms
      • Interf
      • Internal_variable_names
      • Interval
      • Invariant_params
      • Lift_code
      • Lift_constants
      • Lift_let_to_initialize_symbol
      • Linear
      • Linear_format
      • Linearize
      • Linkage_name
      • Linscan
      • Liveness
      • Mach
      • Mutable_variable
      • Optcompile
      • Opterrors
      • Optmaindriver
      • Parameter
      • Pass_wrapper
      • Polling
      • Printclambda
      • Printclambda_primitives
      • Printcmm
      • Printlinear
      • Printmach
      • Proc
      • Projection
      • Ref_to_variables
      • Reg
      • Reload
      • Reloadgen
      • Remove_free_vars_equal_to_args
      • Remove_unused_arguments
      • Remove_unused_closure_vars
      • Remove_unused_program_constructs
      • Schedgen
      • Scheduling
      • Selectgen
      • Selection
      • Semantics_of_primitives
      • Set_of_closures_id
      • Set_of_closures_origin
      • Share_constants
      • Simple_value_approx
      • Simplify_boxed_integer_ops
      • Simplify_boxed_integer_ops_intf
      • Simplify_common
      • Simplify_primitives
      • Spill
      • Split
      • Stackframe
      • Stackframegen
      • Static_exception
      • Strmatch
      • Symbol
      • Tag
      • Thread_sanitizer
      • Traverse_for_exported_symbols
      • Un_anf
      • Unbox_closures
      • Unbox_free_vars_of_closures
      • Unbox_specialised_args
      • Var_within_closure
      • Variable
    • Library compiler-libs.toplevel
      • Genprintval
      • Topcommon
      • Topdirs
      • Topeval
      • Toploop
      • Topmain
      • Topprinters
      • Trace
    • Library dynlink
      • Dynlink
    • Library runtime_events
      • Runtime_events
    • Library stdlib
      • CamlinternalFormat
      • CamlinternalFormatBasics
      • CamlinternalLazy
      • CamlinternalMod
      • CamlinternalOO
      • Stdlib
    • Library str
      • Str
    • Library threads
      • Event
      • Thread
    • Library unix
      • Unix
      • UnixLabels

Structure items

val mk : ?loc:loc -> Parsetree.structure_item_desc -> Parsetree.structure_item
val eval : ?loc:loc -> ?attrs:Parsetree.attributes -> Parsetree.expression -> Parsetree.structure_item
val value : ?loc:loc -> Asttypes.rec_flag -> Parsetree.value_binding list -> Parsetree.structure_item
val primitive : ?loc:loc -> Parsetree.value_description -> Parsetree.structure_item
val type_ : ?loc:loc -> Asttypes.rec_flag -> Parsetree.type_declaration list -> Parsetree.structure_item
val type_extension : ?loc:loc -> Parsetree.type_extension -> Parsetree.structure_item
val exception_ : ?loc:loc -> Parsetree.type_exception -> Parsetree.structure_item
val module_ : ?loc:loc -> Parsetree.module_binding -> Parsetree.structure_item
val rec_module : ?loc:loc -> Parsetree.module_binding list -> Parsetree.structure_item
val modtype : ?loc:loc -> Parsetree.module_type_declaration -> Parsetree.structure_item
val open_ : ?loc:loc -> Parsetree.open_declaration -> Parsetree.structure_item
val class_ : ?loc:loc -> Parsetree.class_declaration list -> Parsetree.structure_item
val class_type : ?loc:loc -> Parsetree.class_type_declaration list -> Parsetree.structure_item
val include_ : ?loc:loc -> Parsetree.include_declaration -> Parsetree.structure_item
val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.structure_item
val attribute : ?loc:loc -> Parsetree.attribute -> Parsetree.structure_item
val text : Docstrings.text -> Parsetree.structure_item list
Logo for Diskuv

The development kit to create safe software and products.

Products
DkCoder
DkSDK CMake
DkSDK FFI
DkML
Quick Links
About Us
Pricing
Support
Contact Us
Terms & Conditions