modelverse/models/sketching/verify.alc

include "primitives.alh"
include "services.alh"


Boolean function main(model : Element):
    String port
    String ret

    port = comm_connect("verify")
    comm_set(port, "models/instance/im1")
    
    ret = comm_get(port)
    log(ret)
    comm_close(port)

    return True!