Env (p.asli.0.2.0.doc.asli.libASL.LibASL.Tcheck.Env)

Sourcetype t

Sourceval mkEnv : GlobalEnv.t -> t

Sourceval globals : t -> GlobalEnv.t

Sourceval nest : (t -> 'a) -> t -> 'a

val nest_with_bindings : 
  (t -> 'a) ->
  t ->
  'a * (LibASL.Asl_utils.AST.ident * LibASL.Asl_utils.AST.ty) list

val addLocalVar : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.ident ->
  LibASL.Asl_utils.AST.ty ->
  unit

val addLocalImplicitVar : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.ident ->
  LibASL.Asl_utils.AST.ty ->
  unit

Sourceval getAllImplicits : t -> implicitVars

Sourceval getImplicits : t -> implicitVars

val getVar : 
  t ->
  LibASL.Asl_utils.AST.ident ->
  (LibASL.Asl_utils.AST.ident * LibASL.Asl_utils.AST.ty) option

Sourceval markModified : t -> LibASL.Asl_utils.AST.ident -> unit

val addConstraint : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.expr ->
  unit

Sourceval getConstraints : t -> LibASL.Asl_utils.AST.expr list

Sourceval setReturnType : t -> LibASL.Asl_utils.AST.ty -> unit

Sourceval getReturnType : t -> LibASL.Asl_utils.AST.ty option