Library

class hets.Library(hs_library)[source]

automatic()[source]

automatic_hide_theorem_shift()[source]

composition_prove_edges()[source]

compute_colimit()[source]

conservativity()[source]

dependencies() → List[Tuple[LibName, LibName]][source]

development_graph() → DevelopmentGraph[source]

environment() → List[Tuple[LibName, DevelopmentGraph]][source]

freeness()[source]

get_refinement_tree(spec_name) → RefinementTree | None[source]

global_decomposition()[source]

global_subsume()[source]

hs_update_result(new_env_r: hs.HetsAPI.Internal.Result)[source]

lib_flat_d_unions()[source]

lib_flat_heterogen()[source]

lib_flat_hiding()[source]

lib_flat_imports()[source]

lib_flat_renamings()[source]

local_decomposition()[source]

local_inference()[source]

name() → LibName[source]

normal_form()[source]

qualify_lib_env()[source]

referenced_library(name: LibName)[source]

specifications() → List[str][source]

theorem_hide_shift()[source]

triangle_cons()[source]