The compiler Stamp api defines access to functionality for generating unique identifiers labelling various datastructure elements for the code being compiled.
The Stamp api is implemented by the stamp package.
The Stamp api source code is in src/lib/compiler/front/typer-stuff/basics/stamp.api.
The above information is manually maintained and may contain errors.
api {
Stamp;
Fresh_Stamp_Maker = Void -> Stamp;
Key = Stamp;
Picklehash = Picklehash;
same_stamp : (Stamp , Stamp) -> Bool;
compare : (Stamp , Stamp) -> Order;
make_fresh_stamp_maker : Void -> Fresh_Stamp_Maker;
make_static_stamp : String -> Stamp;
make_global_stamp : {count:Int, picklehash:Picklehash} -> Stamp;
Converter;
new_converter : Void -> Converter;
case' :
Converter
->
Stamp -> {fresh:Int -> X, global:{count:Int, picklehash:Picklehash} -> X, static:String -> X} -> X;
is_fresh : Stamp -> Bool;
to_string : Stamp -> String;
to_short_string : Stamp -> String;};