logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . 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_tstp : t CCFormat.printer
val to_attrs : t -> UntypedAST.attrs