6cad1df75fa24c5bdb3286b8f680328c7326fde3,scripts/semantic_types.py,,build_library_entry,#Any#Any#,178

Before Change

    library_entry = "Parameter " \
                  + predicate \
                  + " : " \
                  + " -> ".join(linearized_type) \
                  + "."
    return library_entry

After Change

        "t", "Prop").replace(
        "e", "Entity").replace(
        "v", "Event")
    if type_str.endswith(")"):
       type_str = type_str[1:-1]
    library_entry = "Parameter " \
                  + predicate \
                  + " : " \
                  + type_str \

Instances