blob: 9803b42dbefb61e57c2056c1978d486776ba022a (
plain)
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
|