Support type annotations (Python 3.6+) 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/

298 stars 34 forks source link

Support type annotations (Python 3.6+) for `problog_export` functions #25

Open XVilka opened 4 years ago

XVilka commented 4 years ago

Like in

# instruction_string(Architecture, Bits, Address, Bytes, Instruction).
@problog_export('+str', '+int', '+int', '+list', '-str')
def instruction_string(architecture : str, bits : int, address : int, bytelist : List) -> str:
    return "blah"