def parseBDD' (h : IO.FS.Handle) : IO BDD

Equations

• One or more equations did not get rendered due to their size.

def parseBDD (path : System.FilePath) : IO BDD

Equations

• parseBDD path = IO.FS.Handle.mk path IO.FS.Mode.read >>= parseBDD'