Functor Env.Util

module Util (T : TermInner.S) : sig .. end

Parameters:

T : TermInner.S

type term = T.t

type ty = T.t

val ty : env:(term, ty) Env.t ->
       term -> ty TermInner.or_error

Compute type of this term

val ty_exn : env:(term, ty) Env.t -> term -> ty

val info_of_ty : env:(term, ty) Env.t ->
       ty -> (term, ty) Env.info TermInner.or_error

info_of_ty ~env ty finds the information related to the given type.

exception No_head of ty

val info_of_ty_exn : env:(term, ty) Env.t ->
       ty -> (term, ty) Env.info

Unsafe version of info_of_ty
Raises No_head if the type is not an (applied) constant