package lutin

  1. Overview
  2. Docs
package lutin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module FGenSource

Sourcetype t = {
  1. choose_one_formula : unit -> t * Exp.formula * Prog.ctrl_state;
  2. get_all_formula : unit -> Exp.formula list;
}
Sourceexception NoMoreFormula
Sourceexception NormalStop of string