Module Ast

module Ast: sig  end

This module defines the internal representation used by BLAST to represent expressions and predicates.

type ast_type = string

module Symbol: sig  end

module Constant: sig  end

module Expression: sig  end

module Predicate: sig  end

A predicate is a boolean combination of atomic expressions.