module U = NUri
module A = Aut

type uri = U.uri
type id = A.id

type binder = Abst | Abbr

type term = Sort of int
          | LRef of int
	  | GRef of uri
	  | Cast of term * term
	  | Appl of term * term
	  | Bind of id * binder * term * term