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

Sourcetype t

Sourceval mkempty : unit -> t

val addType : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.ident ->
  typedef ->
  unit

Sourceval getType : t -> LibASL.Asl_utils.AST.ident -> typedef option

Sourceval isType : t -> LibASL.Asl_utils.AST.ident -> bool

Sourceval isTycon : t -> LibASL.Asl_utils.AST.ident -> bool

Sourceval isEnum : t -> LibASL.Asl_utils.AST.ident -> bool

val addFuns : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.ident ->
  funtype list ->
  unit

Sourceval getFuns : t -> LibASL.Asl_utils.AST.ident -> funtype list

Sourceval addSetterFuns : t -> LibASL.Asl_utils.AST.ident -> sfuntype list -> unit

Sourceval getSetterFun : t -> LibASL.Asl_utils.AST.ident -> sfuntype list

val addOperators1 : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.unop ->
  funtype list ->
  unit

val getOperators1 : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.unop ->
  funtype list

val addOperators2 : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.binop ->
  funtype list ->
  unit

val getOperators2 : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.binop ->
  funtype list

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

Sourceval isEncoding : t -> LibASL.Asl_utils.AST.ident -> bool

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

val getGlobalVar : 
  t ->
  LibASL.Asl_utils.AST.ident ->
  LibASL.Asl_utils.AST.ty option

val addConstant : 
  t ->
  LibASL.Asl_utils.AST.ident ->
  LibASL.Asl_utils.AST.expr ->
  unit

val getConstant : 
  t ->
  LibASL.Asl_utils.AST.ident ->
  LibASL.Asl_utils.AST.expr option