Module Psl_ast

module Psl_ast: sig .. end

PSL Abstract Syntax Tree

type location = string * int * int

Location type.

type token = string * location

Token type for lexer/parser.

type spec = vunit list

type vunit = string * vunit_item list

type vunit_item =

`\|`	`Assert of location * expression * string`

type expression = Ltl.ltl