package logtk

  1. Overview
  2. Docs
On This Page
  1. Source
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

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