package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t
val mk_node : 'a -> 'a t array -> 'a t
val mk_rec_calls : int -> 'a t array
val mk_rec : 'a t array -> 'a t array
val lift : int -> 'a t -> 'a t
val is_node : 'a t -> bool
val dest_node : 'a t -> 'a * 'a t array
val dest_param : 'a t -> int * int
val is_infinite : ('a -> 'a -> bool) -> 'a t -> bool
val equiv : ('a -> 'a -> bool) -> ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val inter : ('a -> 'a -> bool) -> ('a -> 'a -> 'a option) -> 'a -> 'a t -> 'a t -> 'a t
val incl : ('a -> 'a -> bool) -> ('a -> 'a -> 'a option) -> 'a -> 'a t -> 'a t -> bool
val map : ('a -> 'b) -> 'a t -> 'b t
val pp_tree : ('a -> Pp.t) -> 'a t -> Pp.t
module Smart : sig ... end