package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Partial_eval.MakeSource

Parameters

module L : SAIL_VALUE

Signature

Sourcetype gstate
Sourceval initial_gstate : typecheck_env:Type_check.Env.t -> config:Yojson.Safe.t -> ast:Type_check.typed_ast -> gstate
Sourcemodule Zinterp : sig ... end
Sourcemodule Pretty : sig ... end
Sourcetype partial_state
Sourceval from_exp_with_globals : gstate -> Type_check.tannot Ast.exp -> partial_state

Wrap the user expression in the program's top-level let bindings before starting partial evaluation, so global identifiers are in scope.

Sourceval partial_state_ctx : partial_state -> Zinterp.t
Sourceval string_of_focus : partial_state -> string
Sourceval is_finished : partial_state -> Zinterp.R.value option
Sourceval mk_interpreter : inlining:bool -> gstate -> partial_state -> partial_state