Daniel Kolesa 43e6dc9341 remove get_ utilities from ident ... this is not a good api (it prevents extensibility, requires handling errors twice to be safe - once on user side, once internally - and so on); just cast it		2021-04-25 00:44:45 +02:00
..
callable.hh	add initial doxygen documentation infra	2021-04-15 02:42:06 +02:00
error.hh	document error, ident	2021-04-20 02:52:27 +02:00
ident.hh	remove get_ utilities from ident	2021-04-25 00:44:45 +02:00
platform.hh	add initial doxygen documentation infra	2021-04-15 02:42:06 +02:00
state.hh	complete the public API documentation	2021-04-23 03:20:53 +02:00
util.hh	get rid of some more pointers in API	2021-04-24 23:50:06 +02:00
value.hh	get rid of some more pointers in API	2021-04-24 23:50:06 +02:00