module Psl_ast: sig .. end
sig
end
type location = string * int * int
string * int * int
type token = string * location
string * location
type spec = vunit list
vunit list
type vunit = string * vunit_item list
string * vunit_item list
type vunit_item =
|
Assert of location * expression * string
location * expression * string
type expression = Ltl.ltl
Ltl.ltl