package logtk

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Proof.Src`

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