Module Logic_typing.Lenv

module Lenv: sig .. end

Local logic environment


type t 
val empty : unit -> t