package zelus

You can search for identifiers within the package.

in-package search v0.2.0

Module `Automata.TableOfTypes`

val table_of_types : (Zelus.name * Global.type_desc) list ref

val add : Zelus.name -> Global.type_desc -> unit

val make : 'a -> 'a Zelus.localized

val flush : 
  Zelus.implementation_desc Zelus.localized list ->
  Zelus.implementation_desc Zelus.localized list