Returns the file, line and column where c was written, as a Source_Code_Location.
make_location :: (c: *C.Code_Node) -> Source_Code_LocationParameters
- c: *C.Code_Node
Returns
- Source_Code_Location
Jacket
/
Jacket
Returns the file, line and column where c was written, as a Source_Code_Location.
make_location :: (c: *C.Code_Node) -> Source_Code_Location