package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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)