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