package logtk

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

Module Term.DBSource

De Bruijn

Sourceval is_closed : t -> bool
Sourceval shift : ?depth:int -> int -> t -> t
Sourceval unshift : ?depth:int -> int -> t -> t
Sourceval eval : t DBEnv.t -> t -> t
Sourceval unbound : t -> int list
Sourceval skolemize_loosely_bound : ?already_sk:t IntMap.t -> t -> t * t IntMap.t
Sourceval unskolemize : int Map.t -> Map.key -> t
Sourceval map_vars_shift : ?depth:int -> int Map.t -> t -> t