package coq-core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t

Type of VM libraries.

type index
type indirect_code = index Vmemitcodes.pbody_code
type compiled_library
type on_disk
val vm_segment : compiled_library ObjFile.id
val empty : t
val set_path : Names.DirPath.t -> t -> t
val add : Vmemitcodes.to_patch -> t -> t * index
val load : Names.DirPath.t -> file:string -> ObjFile.in_handle -> on_disk
val inject : compiled_library -> on_disk
val resolve : index -> t -> Vmemitcodes.to_patch
val export : t -> compiled_library
OCaml

Innovation. Community. Security.