package logtk

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

Module Var.SubstSource

Sourcetype (+'a, +'b) t
Sourceval empty : (_, _) t
Sourceval is_empty : (_, _) t -> bool
Sourceval singleton : 'a var -> 'b -> ('a, 'b) t
Sourceval size : (_, _) t -> int
Sourceval add : ('a, 'b) t -> 'a var -> 'b -> ('a, 'b) t
Sourceval mem : ('a, _) t -> 'a var -> bool
Sourceval remove : ('a, 'b) t -> 'a var -> ('a, 'b) t
Sourceval find : ('a, 'b) t -> 'a var -> 'b option
Sourceval find_exn : ('a, 'b) t -> 'a var -> 'b
Sourceval merge : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
Sourceval of_list : ('a var * 'b) list -> ('a, 'b) t
Sourceval of_seq : ('a var * 'b) Iter.t -> ('a, 'b) t
Sourceval to_list : ('a, 'b) t -> ('a var * 'b) list
Sourceval to_seq : ('a, 'b) t -> ('a var * 'b) Iter.t