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 mkempty : unit -> t

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

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

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

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

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

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

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

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

val 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

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

val 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