Sophie
var TriBool_8h = [ [ "asString", "TriBool_8h.html#a7c6c36111c52dde2fa60b7c9dcb7f247", null ] ];