package logtk

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

Module Proof.SrcSource

Source

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

Sourcetype t = source
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval view : t -> source_view
Sourceval file : from_file -> string
Sourceval name : from_file -> string option
Sourceval loc : from_file -> ParseLocation.t option
Sourceval from_file : ?loc:ParseLocation.t -> ?name:string -> ?attrs:UntypedAST.attrs -> string -> t
Sourceval internal : attrs -> t
Sourceval to_attrs : t -> UntypedAST.attrs