package p4pp

You can search for identifiers within the package.

in-package search v0.2.0

package p4pp

p4pp
- P4pp
  - Ast
  - Bake
  - Eval
  - Lexer
  - Parser
  - Prelexer

Legend:
Library
Module
Module type
Parameter
Class
Class type

type env = {

file : string;
defines : (string * Core_kernel.Int64.t) list;

}

val empty : string -> env

val is_defined : env -> Core_kernel.String.t -> bool

val define : env -> Core_kernel.String.t -> env

val undefine : env -> Core_kernel.String.t -> env

val get_file : env -> string

val set_file : env -> string -> env

val find : Base.String.t list -> Base.String.t -> Base.String.t

val eval_binop : 
  Ast.bop ->
  Core_kernel.Int64.t ->
  Core_kernel.Int64.t ->
  Core_kernel.Int64.t

val eval_uop : Ast.uop -> Core_kernel.Int64.t -> Core_kernel.Int64.t

val eval_test : env -> Ast.test -> Core_kernel.Int64.t

val eval : 
  string list ->
  env ->
  Core_kernel.Buffer.t ->
  Ast.term ->
  bool ->
  env

val cond : 
  string list ->
  env ->
  Core_kernel.Buffer.t ->
  bool ->
  int ->
  Ast.term list ->
  int ->
  Ast.term list ->
  int ->
  bool ->
  env

val preprocess_string : 
  string list ->
  env ->
  Core_kernel.Buffer.t ->
  string ->
  string ->
  env

val preprocess_file : 
  string list ->
  env ->
  Core_kernel.Buffer.t ->
  Base.String.t ->
  env