Module Logic_typing.Lenv


module Lenv: sig .. end
Local logic environment

type t 
val empty : t