package logtk

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

De Bruijn

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