Up – Package index » comby-kernel » Sources » comby-kernel.vangstrom » more.ml

Source file `more.ml`

comby-kernel
- README
- Library comby-kernel
  - Comby_kernel
- Library comby-kernel.match
  - Match
- Library comby-kernel.matchers
  - Matchers
- Library comby-kernel.parsers
  - Parsers
- Library comby-kernel.replacement
  - Replacement
- Library comby-kernel.vangstrom
  - Vangstrom
- Library comby-kernel.vangstrom-unix
  - Vangstrom_unix
- Sources
  - comby-kernel
    - comby_kernel.ml
  - comby-kernel.match
  - comby-kernel.matchers
  - comby-kernel.parsers
  - comby-kernel.replacement
    - replacement.ml
  - comby-kernel.vangstrom
  - comby-kernel.vangstrom-unix
    - vangstrom_unix.ml

1
2
3
type t = 
  | Complete
  | Incomplete