* Secondary  int       (lit)           */

  IVY_JUST,           /* Primary    Ivyjust                   */

  UNKNOWN_JUST        /* probably an error                    */
} Just_type;

typedef struct parajust * Parajust;

struct parajust {
  int from_id;
  int into_id;
  Ilist from_pos;
  Ilist into_pos;
};

typedef struct instancejust * Instancejust;

struct instancejust {
  int parent_id;
  Plist pairs;
};

typedef struct ivyjust * Ivyjust;

struct ivyjust {
  Just_type type;  /* input,resolve,paramod,