package lpi

  1. Overview
  2. Docs
type result = Ast.Ast.term * Ast.Ast.term * Environment.context Stdlib.ref
type !'a either =
  1. | Left of 'a
  2. | Right of string
val ast_from_string : string -> Ast.Ast.term option
val interpret : Ast.Ast.term -> Environment.context Stdlib.ref -> result either