Process (imandra-base.Imandra_interactive.Tt.Process)

val term_of_string : 
  scope:Opentelemetry.Trace.scope option ->
  string ->
  Imandra_surface.Term.t option

Main target for parsing a term

val syn_term_of_string : 
  scope:Opentelemetry.Trace.scope option ->
  string ->
  ( Imandra_surface.Term.Syn.t, exn ) Stdlib.result

Parse a syntactic term

val get_ty_of_expr : 
  scope:Opentelemetry.Trace.scope option ->
  string ->
  Imandra_surface.Type.t option

Parse the given expression, get its type and convert it. The type must be a logic-mode type.

type env

val create_env : 
  ?events_for_logic_directives:bool ->
  ?namespace:string ->
  input:Imandra_util.Iloc.Input.t ->
  unit ->
  env

val events_of_logic_ast : 
  scope:Opentelemetry.Trace.scope option ->
  env ->
  Imandra_syntax.Logic_ast.Structure.t ->
  env * Imandra_surface.Event.t list

Given pre-existing logic-ast items, convert them to events. Typing has already been done on them.

val events_of_logic_ast1 : 
  scope:Opentelemetry.Trace.scope option ->
  env ->
  Imandra_syntax.Logic_ast.Structure.str_item ->
  env * Imandra_surface.Event.t list

Same as events_of_logic_ast but for a single item

module Parsedstruct : sig ... end