Imports in module “github.com/pocke/tseitin” github.com/pocke/tseitin/ast Standard library imports io text/scanner