Module Proof.Src

Source

Where a statement/object originally comes from (file, location, named statement, etc.)

type t = source
val equal : t -> t -> bool
val hash : t -> int
val view : t -> source_view
val file : from_file -> string
val name : from_file -> string option
val loc : from_file -> ParseLocation.t option
val from_file : ?⁠loc:ParseLocation.t -> ?⁠name:string -> ?⁠attrs:UntypedAST.attrs -> string -> t
val internal : attrs -> t
val pp_from_file : from_file CCFormat.printer
val pp_role : role CCFormat.printer
val pp : t CCFormat.printer
val pp_tstp : t CCFormat.printer
val to_attrs : t -> UntypedAST.attrs