package asli

You can search for identifiers within the package.

in-package search v0.2.0

asli.libASL
- LibASL
  - Asl_ast
    
    Id
    
    StringSet
  - Asl_parser
  - Asl_parser_pp
  - Asl_utils
    
    Bindings
    
    IdentSet
    
    assignedVarsClass
    
    callsClass
    
    equivalences
    
    freevarClass
    
    localsClass
    
    replaceExprClass
    
    resugarClass
    
    substClass
    
    substFunClass
    
    typesClass
  - Asl_visitor
    
    aslVisitor
    
    nopAslVisitor
  - Cpu
  - Elf
  - Eval
    
    Env
    
    ImpDefs
  - Lexer
  - Lexersupport
  - LoadASL
  - Primops
    
    ImmutableArray
    
    Index
    
    Pages
  - Tcheck
    
    Env
    
    GlobalEnv
    
    Operator1
    
    Operator2
    
    Operators1
    
    Operators2
    
    unifier
  - Utils
  - Value
  - Visitor

Legend:
Library
Module
Module type
Parameter
Class
Class type

type cpu = {

env : Eval.Env.t;
reset : unit -> unit;
step : unit -> unit;
getPC : unit -> Primops.bigint;
setPC : Primops.bigint -> unit;
elfwrite : Stdlib.Int64.t -> char -> unit;
opcode : string -> Primops.bigint -> unit;

}

val mkCPU : Eval.Env.t -> cpu