Up – Package index » coq » Library extraction_plugin » Extraction_plugin » Mlutil » Mlenv

Module `Mlutil.Mlenv`Source

Sourcetype t

Sourceval empty : t

Sourceval get : t -> int -> Miniml.ml_type

Sourceval push_gen : t -> Miniml.ml_type -> t

Sourceval push_type : t -> Miniml.ml_type -> t

Sourceval push_std_type : t -> Miniml.ml_type -> t