package asli

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

val mkEnv : GlobalEnv.t -> t

val globals : t -> GlobalEnv.t

val 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

val getAllImplicits : t -> implicitVars

val getImplicits : t -> implicitVars

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

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

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

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

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

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