Boolean function is_direct_instance(a: Element, b: Element, c: Element)
Boolean function is_nominal_instance(a: Element, b: Element, c: Element)
Boolean function is_nominal_subtype(a: Element, b: Element, c: Element, d: Element)
Boolean function is_structural_subtype(a: Element, b: Element)
Boolean function is_structural_instance(a: Element, b: Element, c: Element)
Element function conformance_scd(a: Element)
Element function retype(a: Element, b: Element, c: Element, d: Element)
Element function add_to_model(a: Element, b: String, c: Element)
Element function instantiate_bottom_node(a: Element, b: String)
Element function instantiate_bottom_value(a: Element, b: String, c: Element)
Element function instantiate_bottom_edge(a: Element, b: String, c: Element, d: Element)
Element function set_model_constraints(a: Element, b: Element)
Element function instantiate_model_lib(a: Element, b: Element, c: String, d: Element, e: Element, f: Element)
Element function instantiate_new_model(a: Element, b: Element)
Element function generate_bottom_type_mapping(a: Element)