pds
Copyright(c) Julian Grove and Aaron Steven White 2025
LicenseMIT
Maintainerjulian.grove@gmail.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

Analysis.Factivity.Signature

Description

Signature for factivity.

Documentation

contextParams :: [String] Source #

tauFact :: Sig Source #