Module Partition.Linked
A partition after partial linking, with the path to the partially linked object file.
type partition := Partition.tval partition : Partition.Linked.t -> Partition.Linked.partitionReturns the original partition.
val linked_object : Partition.Linked.t -> stringReturns the path to the partially-linked object file.
val create :
partition:Partition.Linked.partition ->
linked_object:string ->
Partition.Linked.tCreate a linked partition.