package asli

  1. Overview
  2. Docs
type t
val mkempty : unit -> t
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 addEncoding : t -> LibASL.Asl_utils.AST.ident -> unit
val isEncoding : t -> LibASL.Asl_utils.AST.ident -> bool
val getGlobalVar : t -> LibASL.Asl_utils.AST.ident -> LibASL.Asl_utils.AST.ty option
OCaml

Innovation. Community. Security.