feat: Add some basic infix fns comparing `Imandra_ptime.t` s

imandra-ai / imandra-ptime

IML-compatible version of the Ptime library

2 stars 0 forks source link

Closed benbellick closed 5 months ago

benbellick commented 5 months ago

Just adding some really basic infix stuff. Really it is just proving useful for porting sigmax to using Imandra_ptime.