logtk

Core types and algorithms for logic
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library logtk
Module Logtk . Util . Flag
type gen = int ref

Generator of flags

val create : unit -> gen

New generator

val get_new : gen -> int

New flag from the generator (2*previous flag)