ISABLEQUALEXPR(3)

📦 version 5.1.1-unstable-2025-02, in nixos 26.05, nixpkgs unstable

💅 ISABLEQUALEXPR(3) — like, the ABL FUNCTIONS girlies 💅

okay so bestie, welcome to isablequalexpr(3), a page straight out of the ABL FUNCTIONS family. yes she's a section-3 manual page, yes she's iconic, and yes we're gonna get through this together. grab a lil snack 🍓

✨ NAME ✨

isablequalexpr — tests if two expressions are strictly identicals.

like, it's a vibe check for expressions. are you literally the same as your sister or are you just wearing the same outfit? this function knows. 👑

🌸 ORIGIN 🌸

This software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie Curie, in Paris, France. 🥖 no cap, Paris. the whole thing.

like they literally gave us their contact info, so sweet, so demure 🫶

🦋 SYNOPSIS 🦋

#include "abl101.h"
int isablequalexpr( Expr1, Expr2 )
  chain_list *Expr1;
  chain_list *Expr2;

okay so you include abl101.h, you call isablequalexpr, and you hand her two chain_list * girls. that's the whole ritual ✨

🎀 PARAMETERS 🎀

  • Expr1 — First expression. the main character of the comparison 💖
  • Expr2 — Second expression. the one she's being compared against, the challenger 🌈

💜 DESCRIPTION 💜

isablequalexpr compares Expr1 and Expr2.

that's it. that's the whole job. she's not here to be complicated, she's here to look at two expressions and tell you if they're twins fr fr. no notes. 💅

🔥 RETURN VALUE 🔥

if Expr1 and Expr2 are strictly identicals, isablequalexpr returns 1 and 0 otherwise.

so like, 1 = same girl, same. 0 = not the same, sorry babes 😭 and yes, "strictly identicals" is doing a lot of heavy lifting there — it's strict, she does not do vibes-based matching.

⭐ EXAMPLE ⭐

here's the whole thing in action, look at her go:

#include "abl101.h"
   chain_list *Expr1;
   chain_list *Expr2;
   Expr1 = createablbinexpr( ABL_AND,
                             createablatom( "a" ),
                             createablatom( "b" ) );
   Expr2 = createablbinexpr( ABL_AND,
                             createablatom( "a" ),
                             createablatom( "b" ) );
   /* displays 1 */
   printf( "%d", isablequalexpr( Expr1, Expr2 ) );

two expressions, both a AND b, freshly built with createablbinexpr and createablatom. the printf( "%d", ... ) displays 1. she ate and left no crumbs 👑✨

🌈 SEE ALSO 🌈

  • abl(1) — go read the big one, iykyk

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory.

We need your feedback to improve documentation and tools.

like genuinely, they're asking 🥺 so if something's weird, tell them. feedback is a love language.

and that's the page!! hope this was helpful bestie, mwah 🫶

ASIM/LIP6 — October 1, 1997 — ISABLEQUALEXPR(3) 🎀 that's the source, the date, and the whole entire page name, all wrapped up cute. periodt. 💖

📦 where this page comes from