Up – libzipperposition » Libzipperposition_calculi » Ind_types » Make

Module `Ind_types.Make`

Parameters

E : Libzipperposition.Env_intf.S

Signature

val setup : unit -> unit