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

module AST = Asl_ast

module TC = Tcheck

val report_parse_error : (unit -> 'a) -> (unit -> 'a) -> 'a

val report_type_error : (unit -> 'a) -> (unit -> 'a) -> 'a

val report_eval_error : (unit -> 'a) -> (unit -> 'a) -> 'a

val read_file : string -> bool -> bool -> Asl_ast.declaration list

Parse and typecheck ASL file

val read_spec : string -> bool -> Asl_ast.declaration list

val parse_file : string -> bool -> bool -> Asl_ast.declaration list

Parse ASL file, but do not typecheck

val read_impdef : TC.Env.t -> AST.l -> string -> string * AST.expr

val read_expr : TC.Env.t -> AST.l -> string -> AST.expr

val read_stmt : TC.Env.t -> string -> AST.stmt