Module Ketrew_pure.Target.Stored_target

module Stored_target: sig .. end

type target = Ketrew_pure.Target.t

type t

val to_json : t -> Internal_pervasives.Json.t

Serialize a target to Json.t intermediate representation.

val serialize : t -> string

Serialize a target (for the database).

val deserialize : string ->
       (t,
        [> `Target of [> `Deserilization of string ] ])
       Internal_pervasives.Result.t

Deserilize a target from a string.

val get_target : t ->
       [ `Pointer of Ketrew_pure.Target.id
       | `Target of target ]

val of_target : target -> t

val id : t -> Ketrew_pure.Target.id

val make_pointer : from:target ->
       pointing_to:target ->
       t