Module `Types.Transient_expr`

Operations on transient_expr

val create : 
  Types.type_desc ->
  level:int ->
  scope:int ->
  id:int ->
  Types.transient_expr

val get_scope : Types.transient_expr -> int

val get_marks : Types.transient_expr -> int

val set_desc : Types.transient_expr -> Types.type_desc -> unit

val set_level : Types.transient_expr -> int -> unit

val set_scope : Types.transient_expr -> int -> unit

val repr : Types.type_expr -> Types.transient_expr

val type_expr : Types.transient_expr -> Types.type_expr

val coerce : Types.type_expr -> Types.transient_expr

Coerce without normalizing with repr

val set_stub_desc : Types.type_expr -> Types.type_desc -> unit

Instantiate a not yet instantiated stub. Fail if already instantiated.

val try_mark_node : Types.type_mark -> Types.transient_expr -> bool

Module Types.Transient_expr