jon.recoil.org

Module Partition.Linked

A partition after partial linking, with the path to the partially linked object file.

type partition := t
type t
val partition : t -> partition

Returns the original partition.

val linked_object : t -> string

Returns the path to the partially-linked object file.

val create : partition:partition -> linked_object:string -> t

Create a linked partition.