kernel/abstraction.mli


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16


(* $Id$ *)

(*i*)
open Names
open Term
(*i*)

(* Abstractions. *)

type abstraction_body = { 
  abs_kind : path_kind;
  abs_arity : int array;
  abs_rhs : constr }

val contract_abstraction : abstraction_body -> constr array -> constr