`str` type annotation for `problog_export` functions

ML-KULeuven / problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

https://dtai.cs.kuleuven.be/problog/

307 stars 36 forks source link

`str` type annotation for `problog_export` functions #76

Closed nweir127 closed 2 years ago

nweir127 commented 2 years ago

Why is the str argument considered to be an atom here while the _is_string() function for type comparison requires that it be a constant? Is this by design?