Module ffi

Structs

• RewriterCompilingJitty
• RewriterJitty
• data_specification

Functions

• create_data_function_symbol
  Creates an unprotected data function symbol, must be within in a critical section.
• create_data_variable
  Creates an unsorted data variable, must be within in a critical section.
• create_jitty_compiling_rewriter
  Creates an instance of the compiling jitty rewriter.
• create_jitty_rewriter
  Creates an instance of the jitty rewriter.
• create_sorted_data_variable^⚠
  Creates an sorted data variable, must be within in a critical section.
• data_specification_clone
  Clone the data specification
• false_term
  Create the data::false term
• get_data_function_symbol_index^⚠
  Obtain the index assigned internally to every data function symbol.
• get_data_specification_constructors^⚠
  Returns the data constructors for the given sort.
• get_data_specification_equations
  Returns the data equations for the given specification.
• is_data_abstraction^⚠
• is_data_basic_sort^⚠
• is_data_function_sort^⚠
• is_data_function_symbol^⚠
• is_data_machine_number^⚠
• is_data_sort_expression^⚠
• is_data_untyped_identifier^⚠
• is_data_variable^⚠
• is_data_where_clause^⚠
• parse_data_expression
  Parses the given text and typechecks it using the given data specification
• parse_data_specification
  Parses the given text into a data specification.
• parse_variable
  Parses the given text v: Sort as a variable and typechecks it using the given data specification
• rewrite^⚠
  Rewrites the given term to normal form.
• true_term
  Create the data::true term

Type Aliases

• _aterm
• aterm