Module Logic_typing.Lenv

module Lenv: sig .. end
Local logic environment

type t 
val empty : unit -> t