package logtk

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

Module Position.WithSource

Sourcetype 'a t = 'a * position

A pair of 'a and position (builder).

Sourceval get : 'a t -> 'a
Sourceval pos : _ t -> position
Sourceval make : 'a -> position -> 'a t
Sourceval of_pair : ('a * position) -> 'a t
Sourceval map_pos : (position -> position) -> 'a t -> 'a t
Sourceval map : ('a -> 'b) -> 'a t -> 'b t
Sourcemodule Infix : sig ... end
include module type of Infix
Sourceval (>|=) : 'a t -> ('a -> 'b) -> 'b t
Sourceval equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
Sourceval hash : ('a -> int) -> 'a t -> int