sig
  type 'a t = {
    content : 'a;
    file : string;
    name : string;
    is_conjecture : bool;
  }
  val get : 'LogtkSourced.t -> 'a
  val file : 'LogtkSourced.t -> string
  val name : 'LogtkSourced.t -> string
  val is_conjecture : 'LogtkSourced.t -> bool
  val make :
    ?is_conjecture:bool ->
    name:string -> file:string -> '-> 'LogtkSourced.t
  val map : ('-> 'b) -> 'LogtkSourced.t -> 'LogtkSourced.t
  val pp : (Buffer.t -> '-> unit) -> Buffer.t -> 'a t -> unit
  val to_string : (Buffer.t -> '-> unit) -> 'a t -> string
  val fmt :
    (Format.formatter -> '-> unit) -> Format.formatter -> 'a t -> unit
end